B.SC., M.Sc. and Ph.D in Computing Science at Universidade Federal de Pernambuco (1982, 1985 and 2004). Sabbatical leave at the School of Computer Science, University of Birmingham, U.K. Associate Professor at Universidade Federal Rural de Pernambuco. Has experience in Computer Science, focusing on Computability and Computational Models, acting on the following subjects: Quantum Computing, Computability in RAM-based Neural Networks, Categorial Foundations of Quantum Mechanics, Discrete Differential Topology and Topological Data Analysis.
Possui graduação, mestrado e doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (1982, 1985 e 2004). Tem Pós-doutorado na School of Computer Science, na University of Birmingham, no Reino Unido. Atualmente é Professor Associado 4 da Universidade Federal Rural de Pernambuco. Tem experiência na área de Ciência da Computação, com ênfase em Computabilidade e Modelos de Computação, atuando principalmente nos seguintes temas: Computação Quântica, Computabilidade em Redes Neurais Sem Pesos, Fundamentos Categóricos da Mecânica Quântica, Topologia Diferencial Discreta e Análise Topológica de Dados.
