Identificação
Identificação pessoal
- Nome completo
- Vasco Miguel Gomes Nunes Manquinho
Nomes de citação
- Manquinho, Vasco
Identificadores de autor
- Ciência ID
- 5F10-0E18-0223
- ORCID iD
- 0000-0002-4205-2189
- Google Scholar ID
- vG7Gj6QAAAAJ
- Researcher Id
- A-1774-2009
- Scopus Author Id
- 6507501441
Endereços de correio eletrónico
- vasco.manquinho@tecnico.ulisboa.pt (Profissional)
Telefones
- Telefone
-
- 213100204 (Profissional)
Moradas
- Rua Alves Redol, 9, 1000-029, Lisboa, Lisboa, Portugal (Profissional)
Websites
- https://dblp.uni-trier.de/pid/57/1074.html (Académico)
- https://scholar.google.com/citations?user=vG7Gj6QAAAAJ&hl=pt-PT (Académico)
Domínios de atuação
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português (Idioma materno) | |||||
Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C2) | Utilizador proficiente (C1) |
Percurso profissional
Ciência
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2001 - Atual | Investigador (Investigação) | Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2015/03/20 - Atual | Professor Associado (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
2006/07/20 - 2015/03/20 | Professor Auxiliar (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Universidade de Lisboa Instituto Superior Técnico, Portugal | ||
2001/09/01 - 2006/07/20 | Assistente (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Universidade de Lisboa Instituto Superior Técnico, Portugal |
Cargos e Funções
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2016/01/01 - 2018/01/01 | Coordenação ou direção de centro de investigação, departamento ou equivalente | Universidade de Lisboa, Portugal |
Projetos
Projeto
Designação | Financiadores | |
---|---|---|
2020/01/01 - 2022/12/31 | LAIfeBlood - Inteligência Artificial para a Gestão do Sangue
DSAIPA/AI/0033/2019
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal |
Fundação para a Ciência e a Tecnologia
Em curso
|
2019/01/01 - 2021/12/31 | Data2Help: Ciência de Dados para Optimização de Serviços de Emergência Médica
DSAIPA/AI/0044/2018
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal Instituto Nacional de Emergência Médica IP, Portugal |
Fundação para a Ciência e a Tecnologia
Em curso
|
2018/10/01 - 2021/09/30 | DOME: Métodos de Optimização Discreta para Gestão Energética
PTDC/CCI-COM/31198/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal |
Fundação para a Ciência e a Tecnologia
Em curso
|
2018/10/01 - 2021/09/30 | INFOCOS: Feedback Inteligente para alunos contentes
PTDC/CCI-COM/32378/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Em curso
|
2018/09/01 - 2019/08/31 | DeepData: Data Science in the Azores Deep Sea
CMU/AIR/0022/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2015/01/01 - 2015/12/31 | AMOS: Algoritmos para Cursos Online Abertos e Massivos
CMUP-EPB/TIC/0049/2013
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2012/03/01 - 2015/08/31 | POLARIS: Algoritmos para a Hierarquia Polinomial
PTDC/EIA-CCO/123051/2010
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2010/04/04 - 2013/10/03 | ParSat - Algoritmos Paralelos de Satisfação e suas Aplicações
PTDC/EIA-EIA/103532/2008
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2010/04/01 - 2013/09/30 | iExplain - Raciocínio sobre não satisfação
PTDC/EIA-CCO/102077/2008
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2008/01/01 - 2011/08/31 | BSOLO - Satisfação e optimização com restrições Booleanas
PTDC/EIA/76572/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2008/01/01 - 2010/12/31 | SHIPs: Inferência de Haplotipos por Parcimónia Pura baseada em Satisfação Proposicional
PTDC/EIA/64164/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Universidade Nova de Lisboa Faculdade de Ciências Médicas, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2005/03/01 - 2008/11/30 | SATPot: Algoritmos de satisfação, aplicações e extensões
POSC/EIA/61852/2004
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Capítulo de livro |
|
Relatório |
|
Atividades
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2018/09/15 - 2019/10/30 | SQUARES: A SQL Synthesizer Using Query Reverse Engineering
Orientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2018/09/15 - 2019/10/30 | Program Synthesis from Noisy Tabular Data
Orientador de Daniel Rosa Ramos
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2018/09/15 - 2019/10/30 | Flying Tourist Problem: An Integer Linear Programming Approach
Coorientador
|
Engenharia Aeroespacial (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2018/09/15 - 2019/10/30 | DeepData: Machine Learning in the Marine Ecosystems
Coorientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2018/09/15 - 2019/10/30 | New Language for Program Test Generation
Coorientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2018/09/15 - 2019/10/30 | Data Center Optimization Using Virtual Machine Pro¿les
Coorientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2019 - 2019 | Constraint-Based Multi-Objective Combinatorial Optimization
Orientador
|
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017/09/15 - 2018/10/30 | Solving Treewidth in Graphs using MaxSAT
Orientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017/02/15 - 2018/04/30 | Algorithms for Water Leakage Control Systems
Orientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017/02/15 - 2018/04/30 | Optimization Algorithms in Forest Planning Models
Orientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015/09/15 - 2017/04/30 | Algorithms for Maximum Satis¿ability using GPU
Coorientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017 - 2017 | Automatic generation of test cases for Massive Open Online Courses (MOOCs)
Orientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2017 - 2017 | Algorithms for Markov Logic Networks
Orientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015 - 2015 | Automatic Generation of Exercises for Massive Open Online Courses (MOOCs)
Orientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2014 - 2014 | Distributed Solver for Maximum Satisfiability
Orientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2011 - 2011 | Algorithms for Phylogenetic Tree Inference
Orientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2011 - 2011 | Efficient Algorithmos for the Assessment of Stochastic Multiobjective Optimizers
Coorientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2008/09/15 - 2009/10/30 | Pseudo-Boolean Approaches to Comparative Genomics
Orientador
|
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2009 - 2009 | Parallel Search for Maximum Satisfiability
Coorientador
|
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|