Fundamentos da Computação

Dissertações de Mestrado:

• Ariel Agne da Silveira. Uma Formalização da Lógica Modal usando o Assistente de Provas Coq, 2023.
• Gabriela Moreira. Test Generation from TLA+ Specifications, 2022.
• Leonardo Filipe Rigon. Inferência de Tipos e Efeitos por meio de Grafos de Fluxo de Controle. 2019
• Rafael Castro Gonçalves Silva. Uma Cerificcação em Coq do Algoritmo W Monádico. 2019
• Paulo Henrique Torrens. Um Cálculo de Continuações com Tipos Dependentes. 2018.
• Adelaine Franciele Gelain. Inferência de Tipos na Presença de GADT usando Anti-unificação. 2016.

Trabalhos de Conclusão de Curso:

• Igor Schiessl Froehner. Tradução da Forma SSA Gerada pela LLVM para Código Funcional. 2024

• Alexandre Jeronimo Sehnem.  Formalização da tradução das lógicas clássica e intuicionista para a lógica linear em Coq, 2023.

• Miguel Alfredo Nunes. Fusão de Lógicas Modais no Assistente de Provas Coq, 2023.

• Filipe Ramos, Prova da Minimização de Autômatos Finitos Determinísticos pelo Algoritmo de Brzozowski assistida por Computador, 2021.

• Ariel Agne Silveira. Implementação de uma Biblioteca de Lógica Modal em Coq. 2020.

• Gabriela Moreira Mafra. Tradução Automática de Especificação Formal Modelada em TLA+ para Linguagem de Programação. 2019.
• Adilson Luis Jonck Junior. Uma biblioteca de Estrutura de Dados para Operações em Intervalos de vetor. 2019
• Rafael Castro Gonçalves Silva. Visão categórica do sistema de tipos de Haskell. 2017