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 Assistant Professor at the Department of Computer Science and Engineering at Instituto Superior Técnico (Universidade Técnica 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.