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. Foi 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.

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 sou professor adjunto do departamento de Ciências Atuariais e Finanças da Universidade Federal Fluminense. Tenho experiência na área de Matemática e Ciência da Computação, com ênfase em Lógica, atuando principalmente em teoria da prova.

Subscrever Cálculo Lambek