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
  
• História e Futuro da Computação

Short CV

• Current - Associate Professor 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
Av. Jornalista Aníbal Fernandes, s/n - Cidade Universitária
CEP: 50.740-560
Recife-PE, Brazil
Phone: +55-81-2126-8430 (ext 4378)
jmi@cin.ufpe.br