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.

graduate at Matemática from Universidade Federal Fluminense (1998), master's at Ciência da Computação from Universidade Federal Fluminense (2002) and ph.d. at Computer Science from Universidade Federal do Rio de Janeiro (2008). Has experience in Computer Science, focusing on Theory of Computing, acting on the following subjects: método de dedução natural, lógicas de geralmente, caracterização por matrizes, normalização and lambek calculus.