José Lopes de Siqueira Neto

Bacharel em Física pela Universidade Federal de Minas Gerais (1981), Master of Sciences (M. Sc.) em Engenharia Eletrônica - Netherlands University Foundation For International Cooperation e Philips International Institute (1983) e Docteur ès Sciences (Dr. Sc.) pela Université de Paris XI (Paris-Sud) (1992). Atualmente é Professor Adjunto da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos seguintes temas: aprendizagem simbólica automática, demonstração automática de teoremas e programação em lógica e com restrições.