Vasco Manquinho é professor associado com agregação do DEI e membro integrado do INESC-ID. As suas principais áreas de investigação incluem raciocínio automático, algoritmos para lógica computacional e métodos formais aplicados à engenharia de software.
Foi Coordenador da Licenciatura em Engenharia Informática e de Computadores na Alameda (2019-2022), membro da mesa do Conselho Científico do INESC-ID (2018-2021) e membro da Direcção do INESC-ID (2016-2017). Foi ainda membro da Comissão Executiva do DEI (2011-2014).