My main research area is the sequential and parallel implementation of Logic Programming, such as YAP. My major goal is to develop engines that allow people to take advantage of logic programming to tackle real-life problems. In the last few years, this has led me to collaboate with researchers from other areas, and I have been fortunate to contribute to developments in Inductive Logic Programming and Statistical Relational Learning, with applications to Bioinformatics, Medical Informatics and Social Network Analysis. Some of my main research topics are shown next: Please look here for a list of references (you can also check DBLP).


I am a member of the ACM and of ALP (Association for Logic Programming). Currently I serve in the following program committees:


PhD Students:

MSc Students:

PhD Alumni:

MSc Alumni: