Teaching

Main  |  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 Directors of INESC-ID (2016-present)

  • 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