Vasco Manquinho's Home Page

Research  |  Teaching  |  Contact


I'm a researcher at INESC-ID where I work at the SAT (Software Algorithms and Tools for constraint optimization) group.

I'm also an Associate Professor at the Department of Computer Science and Engineering at Instituto Superior Técnico (Universidade de Lisboa) in Portugal.

In this page you can find links to my research work (papers and software) as well as links to teaching activities.