Students that finished their PhD under my (co-)supervision

  • Hau Nguyen Van, SAT Encodings of Finite CSPs, Steffen Hölldobler and Pedro Barahona (superv.), TU Dresden, February 2015.
  • Elsa Carvalho, Probabilistic Constraint Reasoning, Jorge Cruz and Pedro Barahona (superv.), FCT/UNL, November 2012.
  • Marco Correia, Modern Techniques for Constraint Solving: The CaSPER Experience, Pedro Barahona (superv.), FCT/UNL, December 2010.
  • Ludwig Krippahl, Integrating Protein Structural Information, José Moura and Pedro Barahona (superv.), FCT/UNL, December 2003.
  • Jorge Cruz, Constraint Reasoning for Differential Models, Pedro Barahona (superv.), FCT/UNL, November 2003.
  • Francisco Azevedo, Constraint Solving over Multi-valued Logics - Application to Digital Circuits, Pedro Barahona (superv.), Universidade Nova de Lisboa, May 2002.
  • Paula Amaral, Contribuições para o Estudo de Sistemas Lineares Inconsistentes, Pedro Barahona (superv.), Universidade Nova de Lisboa, May 2002.