Marcelo da Silva Corrêa

2004 - 2005

Pós-Doutorado. , Eberhard Karls Universität Tübingen, UT, Alemanha. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Razoavelmente, Lê Razoavelmente.

Alemão

Compreende Pouco, Fala Pouco.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: ensino de matemática.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

GUIMARAES FILHO, F. F. ; CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP) - Região ES. 2025. .

CORRÊA, M. da S. ; GUIDOLLNI, A. P. ; STREY, E. ; FERREIRA, F. M. ; GUALANDI, J. H. ; DESIDERI, P, E. ; SOUZA, P. R. N. de ; FERNANDES, T. D. ; MARTINS, V, do N. . IV Semana Acadêmica de Matemática da UFES/Alegre. 2025. (Congresso).

FERNANDES, T. D. ; Guidolini, A. P. ; STREY, E. ; FERREIRA, F. M. ; SA NTOS, I. P. dos ; GUALANDI, J. H. ; CORRÊA, M. da S. ; DESIDERI, P, E. ; SOUZA, P. R. N. de ; MARTINS, V, do N. . Encontro Regional de Matemática Aplicada e Computacional - ERMAC 2025 - Potencialidades e Desafios da Utilização de IA na Pesquisa e Ensino de Matemática. 2025. (Congresso).

GUIMARAES FILHO, F. F. ; CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP) - Região ES. 2024. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas e Privadas (OBMEP). 2023. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas e Privadas (OBMEP). 2022. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas e Privadas (OBMEP). 2021. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas e Privadas (OBMEP). 2019. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2018. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2017. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2016. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2015. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2014. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2013. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2012. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2011. .

CHATEAUBRIAND FILHO, O. ; VIANA, J. P. ; CARNIELLI, W. A. ; De FREITAS, R. P. ; CORRÊA, M. da S. ; ARAUJO, A. ; HAEUSLER, E. H. ; PEREIRA, L. C. P. D. ; VANA, L. B. ; SUGUITANI, L. ; TESTA, R. . XVI Encontro Brasileiro de Lógica (XVI EBL). 2011. (Congresso).

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2010. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2009. .

CORRÊA, M. da S. . Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP). 2008. .

DE QUEIROZ, Ruy. J. G. B. ; Viana, J.P. ; CORRÊA, M. da S. ; De FREITAS, R. P. ; MARTINS, A. T. . Workshop on Logic, Language, Information and Computation (WoLLIC2007). 2007. (Congresso).

CORRÊA, M. da S. ; GUIDOLLNI, A. P. ; STREY, E. ; FERREIRA, F. M. ; GUALANDI, J. H. ; DESIDERI, P, E. ; SOUZA, P. R. N. de ; FERNANDES, T. D. ; MARTINS, V, do N. . IV Semana Acadêmica de Matemática da UFES/Alegre. 2025. (Congresso).

XI Semana da Matemática da UFF.Modelagem Matemática no Ensino de Matemática: compreendendo o processo. 2022. (Seminário).

IX Encontro de Instituições e Unidades de eLearning do Ensino Superior - eL@IES. 2021. (Congresso).

VIII ENCONTRO DE EDUCAÇÃO MATEMÁTICA DO ESTADO DO RIO DE JANEIRO. 2021. (Encontro).

BAIRRAL, M. A.; GOUVEA, F. C. F.;CORRÊA, M. da S.. Formação inicial de professores a distância no polo CEDERJ/UAB Paracambi: uma análise da Licenciatura em Matemática. 2014. Dissertação (Mestrado em Educação, Contextos Contemporâneos e Demandas Populares) - Universidade Federal Rural do Rio de Janeiro.

HAEUSLER, E. H.; Schwabe, Daniel;CORRÊA, M. da S.; Garcia, A de V.. Infraestrutura para provadores interativos de teoremas na Web. 2010. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

HAEUSLER, E. H.; PEREIRA, L. C. P. D.; BENEVIDES, M.;CORRÊA, M. da S.. 2-category and proof theory. 2009. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

HAEUSLER, E. H.; VELOSO, P. A. S.; PEREIRA, L. C. P. D.;CORRÊA, M. da S.. Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista. 1999. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

BENEVIDES, M.; VELOSO, P. A. S.; Veloso, S.M.;HAEUSLER, E. H.; PEREIRA, L. C. P. D.;CORRÊA, M. da S.. Dedução Natural e Cálculo de Seqüentes para 'Geralmente'. 2008. Tese (Doutorado em Coordenação de Programas de Pós-graduação em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

HAEUSLER, E. H.; PEREIRA, L. C. P. D.; SANZ, Wagner;CORRÊA, M. da S.; Da SILVA, G. S.; LABER, E.S.. Compactação de provas lógicas. 2007. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

HAEUSLER, E. H.; BENEVIDES, M.; VELOSO, P. A. S.;CORRÊA, M. da S.; Da SILVA, G. S.; LABER, E.S.; Menezes, P. F. B.. Lógica Modal de Primeira-Ordem para Raciocinar sobre Jogos. 2007. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

CORRÊA, M. da S.HAEUSLER, E. H.; PEREIRA, L. C. P. D.; BENEVIDES, M.; VELOSO, P. A. S.; CARVALHO, R. L.. Uma Abordagem Geral para Quantificadores em Dedução Natural. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

PEREIRA, L. C. P. D.; CHATEAUBRIAND FILHO, O.;HAEUSLER, E. H.CORRÊA, M. da S.; CONIGLIO, M. E.. Traduções via Teoria da Prova Aplicações à Lógica Linear.. 2001. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.

HAEUSLER, E. H.CORRÊA, M. da S.; PEREIRA, L. C. P. D.; VELOSO, P. A. S.;PEQUENO, T. H. C.. Cálculo de Sequentes e Dedução Natural: Relacionamentos e Conseqüências. 1999. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

CORRÊA, M. da S.HAEUSLER, E. H.; PEREIRA, L. C. P. D.; VELOSO, P. A. S.; BENEVIDES, M.. A Lógica dos Recursos no Formalismo de Redes de Petri. 1998. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

BAIRRAL, M. A.; GOUVEA, F. C. F.;CORRÊA, M. da S.. Formação inicial de professores no polo CEDERJ/UAB Paracambi: estudo de caso na Licenciatura em Matemática. 2013. Exame de qualificação (Mestrando em Educação, Contextos Contemporâneos e Demandas Populares) - Universidade Federal Rural do Rio de Janeiro.

DIAS, S. R. S.; CERDAS, L.;CORRÊA, M. da S.. Fundamentos da educação a distância on-line e a importância de suas ferramentas digitais na interatividade e mediação no processo ensino-aprendizagem. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Planejamento, Implantação e Gestão da EAD) - Universidade Federal Fluminense.

SILVA, J. M.; CERDAS, L.;CORRÊA, M. da S.. Disciplinas Práticas em cursos de graduação EAD: A utilização de Laboratórios Virtuais como Ferramentas de Promoção da Aprendizagem Significativa. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Planejamento, Implantação e Gestão da EAD) - Universidade Federal Fluminense.

RIBEIRO, T. S.; CERDAS, L.;CORRÊA, M. da S.. A importância dos ambientes virtuais e mídias de comunicação na aprendizagem EAD. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Planejamento, Implantação e Gestão da EAD) - Universidade Federal Fluminense.

CHAGAS, T. A.; CERDAS, L.;CORRÊA, M. da S.. Avaliação Institucional na EaD - Como avaliar e para quem?. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Planejamento, Implantação e Gestão da EAD) - Universidade Federal Fluminense.

RAMOS, S. D.; CERDAS, L.;CORRÊA, M. da S.. Competências essenciais de um tutor do ensino a distância. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Planejamento, Implantação e Gestão da EAD) - Universidade Federal Fluminense.

MARQUES, M. B.; CERDAS, L.;CORRÊA, M. da S.. Análise do Polo EAD: desafios da gestão e modelos pedagógicos. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Planejamento, Implantação e Gestão da EAD) - Universidade Federal Fluminense.

RIBEIRO, T. S.; CERDAS, L.;CORRÊA, M. da S.. Ação e Transformação contínua na Educação a Distância. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Planejamento, Implantação e Gestão da EAD) - Universidade Federal Fluminense.

GONCALVES, I. M.; AMARAL, A. M. L. F.;CORRÊA, M. da S.. A Matemática do Cosmos - situações problemas relacionadas à Astronomia e suas potencialidades para o ensino de Matemática. 2023. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal Fluminense.

SOARES, F. S.; DASSIE, B. A.;CORRÊA, M. da S.. Lógica na Matemática e no cotidiano: uma reflexão sobre o papel da lógica no ensino. 2018. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal Fluminense.

BELO, H. C.; PIMENTEL, S. G.;CORRÊA, M. da S.. Uma ação dialética na resolução de problemas matemáticos. 2017. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal Fluminense.

PIMENTEL, S. G.; BRIA, J.;CORRÊA, M. da S.; CRISSAFF, L. S.. O PIBID e uma experiência no ensino da matemática através da resolução de problemas. 2013. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal Fluminense.

DIAS, F. G.; SOUZA, A. L. R.;CORRÊA, M. da S.; JORGE, D. R.. Concurso Público para Professor do Ensino Básico, Técnico e Tecnológico do Quadro Permanente do Centro Federal de Educação Tecnologia Celso Suckow da Fonseca. 2014. Centro Federal de Educação Tecnológica Celso Suckow da Fonseca.

HAEUSLER, E. H.CORRÊA, M. da S.; ANDRADE, A.M.S.. Concurso público para professor adjunto efetivo na área de teoria da computação. 2008. Universidade Federal da Bahia.

POMBO JUNIOR, D. P.; VELOSO, P. A. S.; CARNIELLI, W. A.; WEISS, M. A.;CORRÊA, M. da S.. Concurso público para contratação de professor adjunto efetivo na área de Lógica Matemática. 2006. Universidade Federal Fluminense.

CORRÊA, M. da S.. Seleção Pública para bolsistas para atuação como Coordenadores de Disciplina e de Coordenadores de Tutoria dos Cursos de Graduação oferecidos pelo Consórcio CEDERJ. 2019. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

CORRÊA, M. da S.. Seleção Pública de Mediadores Presenciais para atuação nos Cursos de Graduação oferecidos pelo Consórcio CEDERJ - Edital 004/2019. 2019. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

CORRÊA, M. da S.. Seleção Pública de Mediadores Presenciais para atuação nos Cursos de Graduação oferecidos pelo Consórcio CEDERJ - Edital 002/2019. 2019. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

CORRÊA, M. da S.. Seleção Pública para bolsistas para atividades de Tutoria a Distância para atuação nos Cursos de Graduação oferecidos pelo Consórcio CEDERJ - Edital 004/2018. 2018.

CORRÊA, M. da S.. Seleção Pública para bolsistas para atividades de Tutoria Presencial para atuação nos Cursos de Graduação oferecidos pelo Consórcio CEDERJ - Edital 003/2018. 2018. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

CORRÊA, M. da S.. Seleção Pública para bolsistas para atividades de Tutoria a Presencial para atuação nos Cursos de Graduação oferecidos pelo Consórcio CEDERJ - Edital 001/2018. 2018. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

CORRÊA, M. da S.. Seleção Pública para bolsistas para atividades de Tutoria a Distância para atuação nos Cursos de Graduação oferecidos pelo Consórcio CEDERJ - Edital 002/2018. 2018. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

CORRÊA, M. da S.. Seleção Pública para bolsistas para atuação como Coordenadores de Disciplina e de Coordenadores de Tutoria dos Cursos de Graduação oferecidos pelo Consórcio CEDERJ. 2017. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

CORRÊA, M. da S.. Seleção Pública para bolsistas para atividades de Tutoria a Distância para atuação nos Cursos de Graduação oferecidos pelo Consórcio CEDERJ - Edital 004/2017. 2017. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

CORRÊA, M. da S.. Seleção Pública para bolsistas para atividades de Tutoria a Distância para atuação nos Cursos de Graduação oferecidos pelo Consórcio CEDERJ - Edital 002/2017. 2017. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

CORRÊA, M. da S.. Seleção Pública para bolsistas para atividades de Tutoria Presencial para atuação nos Cursos de Graduação oferecidos pelo Consórcio CEDERJ - Edital 003/2017. 2017. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

CORRÊA, M. da S.. Seleção Pública para concessão de bolsas a Tutores Presenciais para formação de cadastro reserva, para atuação nos Cursos de Graduação oferecidos pelo Consórcio CEDERJ - Edital 001/2017. 2017. Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

O polo de apoio presencial da Universidade Aberta do BRasil UAB/Consórcio CEDERJ do Município de Resende (Rio de Janeiro) e sua contribuição na formação inicial e continuada de professores; 2015; Dissertação (Mestrado em Mestrado em Pedagogia do Elearning) - Universidade Aberta de Portugal, ; Coorientador: Marcelo da Silva Corrêa;

Um Método de Tableaux para o Cálculo Lambek baseado em Caracterização por Matrizes; 2002; 245 f; Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, ; Coorientador: Marcelo da Silva Corrêa;

A Resolução de Problemas no ensino de funções afins: entender para aprender; 2015; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Uma atividade de resolução de problemas em análise combinatória; 2015; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Reolução de problemas como proposta no ensino de trigonometria; 2015; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Modelagem Matemática: despertando o interesse do educando pelos conceitos; 2013; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Modelagem Matemática: aspectos gerais e impressões específicas por meio de estudo de caso; 2013; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

A Modelagem Matemática ? transformando problemas atuais em problemas matemáticos; 2013; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Problemas abertos: uma proposta didática para a resolução de problemas no ensino da matemática; 2013; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Uma análise sobre a Resolução de Problemas e as interações entre os pares em aulas de matemática do ensino fundamental; 2013; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Observações sobre a resolução de problemas abertos em sala de aula e as mudanças provocadas no contrato didático; 2013; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Resolução de Problemas: uma abordagem ao ensino da função quadrática; 2012; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Introdução às Funções quadráticas: combinando o uso de tecnologias e a Metodologia de Resolução de Problemas; 2012; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

O uso do Winplot no estudo das funções de 1º grau com uma abordagem através de problemas; 2012; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Utilizando a Resolução de Problemas para o ensino-aprendizagem de equações e sistemas de duas equações do 1º grau; 2012; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Leitura, escrita e resolução de problemas no Ensino Fundamental I com o auxílio de recursos tecnológicos; 2012; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Aprendendo Matemática através da resolução de problemas; 2011; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Aprendendo equações do 1° grau na perspectiva da resolução de problemas; 2011; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

A MATEMÁTICA FINANCEIRA E O DESENVOLVIMENTO DE PROJETOS:UMA PROPOSTA PARA A INSERÇÃO DE TEMAS TRANSVERSAIS NO ENSINO DE MATEMÁTICA; 2010; Monografia; (Aperfeiçoamento/Especialização em Esp; para prof; do ensino fundamental e médio) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

JOGOS DE RACIOCÍNIO LÓGICO E DESAFIOS LÓGICOS: UMA PROPOSTA METODOLÓGICA NO ENSINO DA MATEMÁTICA; 2009; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

A IMPORTÂNCIA DOS JOGOS EDUCACIONAIS NO AMBIENTE ESCOLAR; 2009; Monografia; (Aperfeiçoamento/Especialização em Espec; a Dist; m Novas Tecnologias no Ens; de Mat; ) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Explorando jogos tradicionais com jogos cooperativos; 2008; Monografia; (Aperfeiçoamento/Especialização em Esp; para prof; do ensino fundamental e médio) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Um jogo de estratégia para o ensino para o ensino de frações no 6º ano do Ensino Fundamental; 2025; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal do Espírito Santo; Orientador: Marcelo da Silva Corrêa;

Modelagem Matemática na configuração de espaços: um estudo de caso de um cinema drive-in; 2024; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Assistente de Construção de Prova para a Lógica Proposicional em Dedução Natural; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Marcelo da Silva Corrêa;

Assistentes para construções de provas em Dedução Natural; 2007; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Marcelo da Silva Corrêa;