Luis D. Pedrosa

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.

Oscar Wilde (1854 – 1900)