Professor do Departamento de Computação da UFRPE e colaborador do Programa de Pós Graduação em Informática Aplicada (PPGIA) da UFRPE. Possui doutorado em Ciência da Computação pela UFPE e estágio pós-doutoral pela Universidade de York, ambos com foco em aplicações de métodos formais para teste e verificação de software. Foi líder técnico do Projeto Cin/Motorola para teste de dispositivos móveis e atualmente é pesquisador líder da célula de testes do Convênio da UFRPE com o Tribunal de Contas do Estado de Pernambuco. Tem pesquisado métodos e ferramentas para automação de teste e verificação de software no contexto de aplicações móveis, web e robóticas.
