Marcelo da Silva Corrêa

Possui graduação em Matemática (Licenciatura e Bacharelado) pela Universidade Federal Fluminense (1989), mestrado (1992) e doutorado (1997) em Informática pela Pontifícia Universidade Católica do Rio de Janeiro, com ênfase em Lógica para Ciência da Computação, atuando principalmente em teoria da prova. Tem interesse em temas da área de Ensino de Matemática (Modelagem Matemática e Resolução de Problemas) e de Educação a Distância. Atualmente, é Professor Associado IV da Universidade Federal Fluminense (UFF). Foi Chefe do Departamento de Análise do Instituto de Matemática e Estatística da UFF, de abril de 1999 a fevereiro de 2002, e Coordenador do curso de Licenciatura em Matemática a Distância UFF/CEDERJ/UAB, de novembro de 2010 a início de junho de 2019. Desde março de 2022, atua como Coordenador de Ensino de Graduação da Pró-Reitoria de Graduação da Universidade Federal Fluminense. Desde fevereiro de 2008, atua como coordenador regional da Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP) para a região RJ01, que engloba municípios da região serrana, norte e noroeste fluminense.

undergraduate degree in mathematics at Universidade Federal Fluminense (1989), master's in Computer Science at Pontifícia Universidade Católica do Rio de Janeiro (1992) and ph.d. in Computer Science at Pontifícia Universidade Católica do Rio de Janeiro (1997). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: proof theory and automated deduction.