Actual Situation

DCC-FCUP
Assistant professor at the Department of Computer Science, Faculty of Sciences, University of Porto.

CRACS & INESC TEC
Researcher at the Center for Research in Advanced Computing Systems.

ALP Board
Executive committee member.

INForum Board
Executive committee member.

Yap Prolog
Developer of the Yap Prolog system.

NanoSTIMA
Member of project NanoSTIMA.

ELVEN
Member of project ELVEN.

Actual Areas of Interest

Design and Implementation of Logic Programming Systems
Tabling in Logic Programming
Parallel and Distributed Systems
Inductive Logic Programming
Probabilistic Logic Programming