Home Page

Possui graduação em Ciencia da Computacao pela Universidade Federal de Pernambuco (1985), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1988) e doutorado - University of Oxford (1993). Atualmente é Professor Titular do CIn-UFPE. A principal área de interesse é Engenharia de Software, com ênfase em Métodos Formais. Tem contribuído com semântica, refinamento e transformação de especificações, modelos e programas concorrentes e orientado a objetos; integração entre métodos formais e semi-formais (como UML); composição formal de frameworks e componentes; e na geração automática de testes a partir de modelos.