Identificação
Identificação pessoal
- Nome completo
- José Fragoso Santos
Nomes de citação
- José Fragoso Santos
Identificadores de autor
- Ciência ID
- 1319-F56C-0E1E
- ORCID iD
- 0000-0001-5077-300X
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Francês | Utilizador independente (B2) | Utilizador independente (B2) | Utilizador independente (B2) | Utilizador independente (B2) | |
Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) |
Formação
Grau | Classificação | |
---|---|---|
2014
Concluído
|
Doctorat en Informatique (Doutoramento)
Université de Nice Sophia Antipolis, França
"Enforcing Secure Information Flow in Client-Side Web Applications" (TESE/DISSERTAÇÃO)
|
Mention Très Honorable |
2008
Concluído
|
Mestrado em Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Learning Techniques: From SAT to Pseudo-Boolean Optimization" (TESE/DISSERTAÇÃO)
|
18 |
2006
Concluído
|
Licenciatura em Ciências da Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Learning Techniques: From SAT to Pseudo-Boolean Optimization" (TESE/DISSERTAÇÃO)
|
16 |
Percurso profissional
Ciência
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2019/09/01 - Atual | Investigador (Investigação) | Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
2015/03/01 - 2019/08/31 | Pós-doutorado (Investigação) | Imperial College London, Reino Unido |
2009/08/01 - 2010/08/01 | Estagiário de Investigação (Investigação) | Instituto de Telecomunicações, Portugal |
2009/01/01 - 2009/06/30 | Estagiário de Investigação (Investigação) | Laboratório de Robótica e Sistemas de Engenharia, Portugal |
2007/10/01 - 2008/10/31 | Estagiário de Investigação (Investigação) | 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 | |
---|---|---|
2019/09/01 - Atual | Professor Auxiliar (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Projetos
Projeto
Designação | Financiadores | |
---|---|---|
2017/01/01 - 2019/08/31 | REMS: Rigorous Engineering for Mainstream Systems
Investigador
|
|
2013/09/30 - 2016/12 | Certified Verification of Client-Side Web Programs | UK Research and Innovation |
2009/08/01 - 2010/08/01 | KLog - Logics for Security
PTDC/MAT/68723/2006
Bolseiro de Mestrado
|
|
2009/01/01 - 2009/07/31 | BIO-LOOK - Biomimetic Oculomotor Control for Humanoid Robots
PTDC/EEA-ACR/71032/2006
|
|
2007/09/01 - 2008/09/01 | BSOLO - Boolean constraint SOLving and Optimization
PTDC/EIA/76572/2006
Bolseiro de Iniciação Científica
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Capítulo de livro |
|
Livro |
|
Distinções
Prémio
2018 | Research Award on Continuous Reasoning Research (USD 50K)
Facebook Inc, Estados Unidos
|