Newton José Vieira

Possui graduação em Engenharia Elétrica pela Universidade Federal de Minas Gerais (1974), mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (1978) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1987). Atualmente é professor associado da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial e Métodos Formais, atuando principalmente nos seguintes temas: inferência baseada em lógica de primeira ordem, árvores de prova, extração de respostas e análise de conceitos formais.