Possui graduação e mestrado em Ciência da Computação pela Universidade Técnica de Berlim e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco. Atualmente atua como Professor Adjunto na Universidade Federal da Bahia. Tem experiência nas áreas de Lógica e Teoria da Computação