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

• Current - Lecturer¹ at the Centro de Informática, Universidade Federal de Pernambuco, Brazil
• 2002-2006 - PhD at the Computer Laboratory, University of Cambridge, UK
• 2000-2001 - Fellow at the International Institute for Software Technology, the United Nations University, China
• 1994-2000 - BSc and MSc at Centro de Informática, Universidade Federal de Pernambuco, Brazil

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

Contact

Centro de Informática
Universidade Federal de Pernambuco
Caixa Postal 7851 / CEP: 50732-970
Recife-PE, Brazil
Phone: +55-81-2126-8430 (ext 4471)

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