Research

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.

Courses

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

Short CV

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

Contact

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 Website.com. Valid CSS & XHTML. Website template by Arcsin