Fernando Náufel do Amaral

Possui graduação em Informática pela Universidade Federal Fluminense (1997), mestrado em Informática (Teoria da Computação) pela Pontifícia Universidade Católica do Rio de Janeiro (2000) e doutorado em Informática (Teoria da Computação) pela Pontifícia Universidade Católica do Rio de Janeiro (2004). Atualmente é professor adjunto da Universidade Federal Fluminense. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Representação de Conhecimento, atuando principalmente nos seguintes temas: lógicas de descrição, ontologias e visualização de informações.

graduate at Informática from Universidade Federal Fluminense (1997), master's at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2000) and ph.d. at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2004). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: dedução automática, ontologias, metaheurísticas, assistentes de prova and sistemas de transição temporizados.