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.


Short CV

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


Centro de Informática
Universidade Federal de Pernambuco
Av. Jornalista Aníbal Fernandes, s/n - Cidade Universitária
CEP: 50.740-560
Recife-PE, Brazil
Phone: +55-81-2126-8430 (ext 4378)

© 2007 Valid CSS & XHTML. Website template by Arcsin