normalização

Publicação

Pesquisador

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 normalização