Cálculo Lambek

Pesquisador

Marcelo da Silva Corrêa

Possui graduação em Matemática 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 e de Educação a Distância. 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.

Leonardo Bruno Vana

Possui graduação em Matemática pela Universidade Federal Fluminense (1998), mestrado em Ciência da Computação pela Universidade Federal Fluminense (2002) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (2008). Atualmente trabalho como tutor a distância do curso de graduação em matemática da Universidade Federal Fluminense. Tenho experiência na área de Matemática, com ênfase em Lógica, atuando principalmente em teoria da prova.

Subscrever Cálculo Lambek