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.
For a Lattes CV (in Portuguese), click here.
Centro de Informática
Universidade Federal de Pernambuco
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