|Department of Computer Science and Engineering||INESC-ID|
|Instituto Superior Técnico|
|Universidade de Lisboa|
Agregašão (Habilitation) in Computer Science and Engineering in 2012 from Instituto Superior Técnico (IST).
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