Actual Situation

DCC-FCUP
Associate 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