Actual Situation
DCC-FCUPAssociate professor at the Department of Computer Science, Faculty of Sciences, University of Porto
CRACS & INESC TEC
Coordinator at the Center for Research in Advanced Computing Systems
Yap Prolog
Developer of the Yap Prolog system
Actual Areas of Interest
Design and Implementation of Logic Programming Systems
Tabling in Logic Programming
Parallel and Distributed Systems
Lock-Free Data Structures
Probabilistic Logic Programming
Inductive Logic Programming