|Department of Computer Science and Engineering||INESC-ID|
|Instituto Superior Técnico|
|Universidade de Lisboa|
PhD in Electrical Engineering and Computer Science in 1996 from the
Massachusetts Institute of Technology
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:
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):
Last updated November 12, 2012