Grupo de Pesquisa UFRJ (ainda sem nome)

(descrição/interesses)

• Linguagens de Programação
• Teoria de Categorias
• Raciocínio calculacional

Link para o Edital de Seleção do PPGI

Pessoas

Professores
• Hugo Musso Gualandi [Website] [Email] [CV Lattes]
• Hugo Nobrega [Website] [Email] [CV Lattes]
• João Paixão [Website] [Email] [CV Lattes]
Alunos
• Bruno Llacer Trotti (aluno de mestrado) [Github] [CV Lattes]
• Evandro Rhari (aluno de graduação) [Github] [Email] [CV Lattes]
• Júlia de Araújo Mota (aluna de doutorado) [Github] [Email] [CV Lattes]
• Vítor Bedin (aluno de graduação) [Github] [Email] [CV Lattes]
Outros
• Eduarda Marques (ex-aluna de graduação) [Github] [Email] [CV Lattes]
• Lucas Rufino Martelotte (ex-aluno de graduação) [Github] [CV Lattes]

Trabalhos Recentes

1. A Large-Scale Analysis of C++ Lambdas and Their Capture Lists in Opensource Repositories
   Luiz Romário Santana Rios, Hugo Musso Gualandi
   2026. Brazilian Symposium on Programming Languages (SBLP) 📄
2. Correct by Construction Gram-Schmidt Process
   João Victor Lopez Pereira, Daniel Kiyoshi Hashimoto, Hugo Musso Gualandi, João Paixão
   2026. Brazilian Symposium on Programming Languages (SBLP) 📄
3. Two Induction-Free Constructions For Finite Automata Determinization
   Matheus do Ó, Hugo Musso Gualandi
   2026. Brazilian Symposium on Programming Languages (SBLP) 📄
4. A Graphical and Equational Fixed Point Calculus
   Gustavo de Mendonça Freire, Hugo Musso Gualandi, Hugo Nobrega, João Paixão
   2026. International Conference on Functional Programming (ICFP) 📄 🔗
5. Uma prova do algoritmo de Brzozowski via álgebras de Kleene
   Matheus do Ó, Hugo Musso Gualandi
   2026. Trabalho de Conclusão de Curso, BCC/UFRJ 🔗