Grupo de Pesquisa, Centro de Informática da UFPE
Recrutando alunos de mestrado e doutorado
Inscrições de 22/06 a 17/07 de 2020. Link para edital de seleção
Breno Miranda
Leopoldo Teixeira
Marcelo d'Amorim
Hundreds of bugs found
ACM Distinguished Paper Award (ICSE'19)
2019 Facebook TAV RFP
2017-2020: $300K NSF-RNP Cyber-Security
Frisk CORAL qCORAL Willow