Vasco Manquinho

Vasco Manquinho is an Associate Professor affiliated with the University of Lisbon. He is actively involved in the Software Algorithms and Tools for Constraint Solving (SAT Group), focusing on computational logic and constraint-solving algorithms. His teaching responsibilities include Introduction to Algorithms and Data Structures, Algorithms for Computational Logic, and Automatic Reasoning and Computational Logic.

Emails:

• vasco.manquinho@tecnico.ulisboa.pt
• vasco.manquinho@inesc-id.pt