Professor adjunto, com ênfase em Ciência da Computação e Inteligência Artificial, atua em aprendizagem simbólica automática, demonstração automática de teoremas e programação em lógica e com restrições.