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.

Quer entrar em contato? Fale com a Assessoria de Imprensa da UFF

Publicações

Revista: Electronic Notes in Theoretical Computer Science
Título Anoordem crescente Idioma
Sequent calculi for 'generally' 2007 Inglês
Revista: Logic Journal of the IGPL
Título Anoordem crescente doi Idioma
Natural Deduction for 'Generally' 2007 10.1093/jigpal/jzm049 Português