Students

D.Sc.

Maurício da Silva Pires (Uso de model checking como rotina principal em solvers para problemas parametrizados - CAPES)
Renato Reis Leme (Um framework lógico ecumênico baseado em Tableaux - FAPESP)

Caio Serra de Mello (Verificação do protocolo XMPP com Timed Automata)
Camila de Souza Ferreira (Modelagem e verificação formal de protocolos de consenso bizantino - FAPERJ)
Matheus Guimarães Robaina (Um sistema baseado em Tableaux para M-PDL* - CNPq)

Thiago Prado de Azevedo Andrade (Sistemas cíber-físicos e Reo: modelagem e verificação automática - CNPq)
Vinícius Moraes Gonçalves (Uma interface para raciocínio sobre conectores Reo - FAPERJ)

Luiz Gustavo Dias (MAESTRO: Uma Abordagem para Gerência de Experimentos Científicos Apoiada por Ontologias e Dados de Proveniência, 2024 - CAPES)

Allan Patrick de Freitas Santanna (Interoperabilidade semântica de dados, 2023 - Prefeitura de Niterói)
Daniel Arena Toledo (Formalização de conectores Reo híbridos com aplicações a Consenso Bizantino, 2021)
Erick Simas Grilo (ReLo: a dynamic logic to reason about Reo circuits, 2021 - CNPq)
Maurício da Silva Pires (Verificação de modelos em grafos MSOL2, 2020 - CAPES)
Bruno Olímpio Costa (Verficação formal de modelos de Blockchain, 2019)

Maximilian Harrison Júnior (Raciocínio sobre Lógica de Descrição no Coq, 2023 - FEC/Prefeitura de Niterói)
Amélia de Almeida Guerreiro (Extração de explicação para classificadores baseados em árvores de decisão através de Tree Automata 2021 - FAPERJ)
Mariana de Freitas Ferreira (Integração de ferramentas para raciocínio sobre conectores Reo, 2021 - FAPERJ)
Felipe Vieira Freire da Silva (Um compilador de linguagem de alto nível para conectores Reo parametrizados 2020 - CNPq)
Daniel Arena Toledo (Verificação de modelos Reo com nuXmv, 2019 - CNPq)
Erick Simas Grilo (Uma interface para a verificação formal de propriedades em sistemas através do Coq, 2019 - FAPERJ)
André Luiz Pereira de Oliveira Junior (Verificação em lógica de modelos Reo, 2018 - CNPq)
Matheus Enes Santos Viana (Resolução e prova automática de teoremas: uma abordagem extensível, 2016 - CNPq)

Jéssica Cavalcante Christiano Lameri (Desenvolvimento de uma biblioteca heap em Clojure utilizando monads, 2023)
Mariana de Freitas Ferreira (Uma interface de alto nível para compiladores de modelos Reo, 2022)
Mateus Azeredo Torres (Modelagem automática de Timed Data Streams no nuXmv, 2021)
Allan Patrick de Freitas Santanna (Verificação automática de programas utilizando Lógica Dinâmica com aplicações a smart contracts, 2020)
André Luiz Pereira de Oliveira Junior (Verificação de modelos DS3 com Storm Model Checker, 2020)
Daniel Arena Toledo (Um compilador de circuitos Reo para modelos nuXmv, 2019)
Thiago Cordeiro de Castro (PDL como uma linguagem de consulta para Constraint Automata, 2018)
Erick Simas Grilo (Compiling certified Reo code, 2018)
Leonardo Almeida dos Santos Pereira (Avaliação da comunicabilidade dos conceitos de HDI para adolescentes, 2018)
Matheus Enes Santos Viana (Um provador automático de teoremas extensível a partir da Lógica Clássica Proposicional, 2016)