Eliminação do corte

Pesquisador

Regina Célia Moreth Bragança

Possui graduação em Matemática pela Universidade Federal Fluminense (1978), mestrado em Matemática pela Universidade Federal Fluminense (1985) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1999). Atualmente é professor Associado da Universidade Federal Fluminense. Tem experiência na área de Matemática, com ênfase em Lógica Matemática, nos seguintes temas: sequent calculus, s5, teorias matemáticas, gramáticas universais e interpolation.

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 Eliminação do corte