Teaching

 Research  |  Contact

Associate Professor at Instituto Superior Técnico (2015-present)

Assistant Professor at Instituto Superior Técnico (2006-2015)

Teaching Assistant at Instituto Superior Técnico (2001-2006)

Courses

• Algorithms for Computational Logic (2015-present)


• Analysis and Synthesis of Algorithms (2005-2010, 2013-present)


• Constraints and Boolean Optimization (2012-present)


• Fundamentals of Programming (2009, 2015)


• Advanced Algorithms (2011-2014)


• Introduction to Algorithms and Data Structures (2007-2011)


• Artificial Intelligence (2002)


• Logic Programming (2001)

Management

• Member of the Board of the Scientific Council of INESC-ID (2018-present)


• Member of the Board of Directors of INESC-ID (2016-2017)


• Member of the Executive Committee of the Computer Science and Engineering Department (2007-2008, 2011-2014)


• Member of the Scientific Council of the Computer Science and Engineering Department (2007-2014)

Prizes for Excellence in Teaching

• Fundamentals of Programming, 2015


• Analysis and Synthesis of Algorithms, 2014


• Introduction to Algorithms and Data Strcutures, 2011