Associate Professor		Director
Computer Science and Engineering Department		INESC-ID
Instituto Superior Técnico
Technical University of Lisbon

PhD in Electrical Engineering and Computer Science in 1996 from the Massachusetts Institute of Technology (MIT).

MSc in Electrical and Computer Engineering in 1992 from Instituto Superior Técnico (IST).

Licenciatura (5-year engineering degree) in Electrical and Computer Engineering in 1989 from Instituto Superior Técnico (IST).

Senior researcher in the Optimization and Simulation Algorithms Research Group (ALGOS) group at (INESC-ID).

Research interests are in the area of Embedded System Design and Verification, namely:

• computer architecure
• synthesis and verification algorithms
• low power systems

Check my publications here.

Courses I'm currently teaching.

I'm a co-author of the IST Press book on basic computer architecture (in Portuguese):

Arquitectura de Computadores: dos Sistemas Digitais aos Microprocessadores

G. Arroz, J. Monteiro, A. Oliveira

IST Press

1st edition February 2007, 2nd edition July 2009

Companion site, with extra material.

Last updated November 12, 2012