Resume
Main  |  Research  |  Contact

Education

Instituto Superior Técnico, Technical University of Lisbon, Lisbon, Portugal. PhD in Computer Science and Engineering, May 2009. Thesis: Timing Analysis of Integrated Circuits Under Process Variations. Developed variability-aware timing analysis techniques, targeting the latest nanometric IC technologies. Thesis advisor: Prof. L. Miguel Silveira.

Instituto Superior Técnico, Technical University of Lisbon, Lisbon, Portugal. Master of Science in Electrical and Computer Engineering, June 1999. Thesis: Models and Algorithms for Timing Analysis of Combinational Circuits. Developed efficient satisfiability-based algorithms for computing the delay of the longest true path in combinational circuits. Thesis advisors: Prof. L. Miguel Silveira and Prof. João Marques-Silva.

Instituto Superior Técnico, Technical University of Lisbon, Lisbon, Portugal. Licenciatura (5-year engineering degree) in Electrical and Computer Engineering. June 1996. Final project: A Reliable Methodology for the Design of MCM-D. Final project advisor: Prof. António B. Leal.
 

Experience

Instituto Superior Técnico, Technical University of Lisbon, Lisbon, Portugal. (April 2000 - Present)
Assistant Lecturer in the Department of Information Systems and Computer Science, teaching courses on algorithms and data structures, compiler design, operating systems and network management.

INESC, Lisbon, Portugal (April 2000 - Present)
Researcher in the Optimization and Simulation Algorithms Group (ALGOS).

Cadence Berkeley Labs, Cadence Design Systems, Berkeley, California (July 2005 - August 2006)
Research and development of variational timing analysis techniques.

T. J. Watson Research Center, IBM, Yorktown Heights, New York (July 1999 - September 1999)
Intern of the Electrical Modeling and Simulation Group, working on a static circuit optimization tool, used to tune high-performance IBM processors.

Instituto Superior Técnico, Technical University of Lisbon, Lisbon, Portugal. (April 1999 - September 1999)
Teaching Assistant of the Department of Electrical and Computer Engineering, teaching a course on computer electronics.

INESC, Lisbon, Portugal (December 1996 - March 2000)
Research assistant in the Optimization and Simulation Algorithms Group (ALGOS).

INESC, Lisbon, Portugal (October 1995 - November 1996)
Trainee of the Electronics CAD Center developing the final project on design methodologies for MCM-D (multichip modules).
 

Other

CAP Gemini, Nice, France (April 2000)
Attended the 1-week course E2: TeMIP Fundamentals. Sponsored by Compaq Portugal.

Reviewer for the 37th and 38th editions of the Design Automation Conference.

Member of the IEEE - Computer Society.