I am interested in Formal Methods applied to hardware and software design, automated reasoning (in particular, the HOL theorem proving system) and Testing.

A list of publications can be found here.


Computação Eletrônica
Sistemas Críticos
Matemática Discreta

Short CV

For a Lattes CV (in Portuguese), click here.


Centro de Informática
Universidade Federal de Pernambuco
CEP: 50.740-560
Recife-PE, Brazil
Phone: +55-81-2126-8430 (ext 4378)

1Lecturer (UK) ∼ Assistant Professor (US) ∼ Professor Adjunto (Brazil)

© 2007 Valid CSS & XHTML. Website template by Arcsin