The Borg paper was awarded the EuroSys'25 Test-of-Time award!

Acerca de Mim:
Sou um Professor Auxiliar no Departamento de Engenharia Informática do Instituto Superior Técnico / Universidade de Lisboa e um Investigador no INESC-ID. Faço pesquisa em Sistemas e Redes no Grupo de Sistemas Distribuídos.
Recebi o meu Doutoramento em Engenharia Informática na University of Southern California em 2016, sobe orientação do Professor Ramesh Govindan, dentro do Networked Systems Laboratory. Também fui um Investigador Pós-Doutorado, trabalhando com a Professora Katerina Argyraki na Escola Politécnica Federal de Lausana (EPFL - École Polytechnique Fédérale de Lausanne).
A minha investigação envolve utilizar técnicas das comunidades de linguagens de programação e de métodos formais para resolver problemas da área de sistemas e redes. Muito do meu trabalho envolve analisar um sistema em software para construir um modelo da sua funcionalidade. Estes modelos podem ser usados para descobrir bugs ou ajudar a depurar problemas de desempenho. Quando o modelo é construído de forma a ser preciso e completo, podemos ir um passo à frente e fazer verificação formal de funcionalidade e desempenho, e até sintetizar novos sistemas melhorados.
Investigação:
- Sistemas e Redes
- Análise de Programas
- Verificação de Software e de Redes
- Síntese de Programas
- Cloud Computing e Sistemas Distribuídos
- Redes em Software
Citação Aleatória:
A cynic is a man who knows the price of everything but the value of nothing.