Research
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:- Implementation of sequential logic programmings systems, such as YAP.
- Parallel Logic Programming
- Inductive Logic Programming
- Statistical Relational Learning, namely with CLP(BN), SAYU, VISTA, MI-SAYU
Service
I am a member of the ACM and of ALP (Association for Logic Programming). Currently I serve in the following program committees:Students
PhD Students:- Aline Paes (UFRJ), with Gerson Zaverucha
- Kate Revoredo (UFRJ), with Gerson Zaverucha.
- Renato de Castro Dutra (UFRJ), with Claudio Amorim.
- Wagner Arbex (UFRJ), with LAV Carvalho.
MSc Students:
- Cristiane Magalhães (UFRJ), with Felipe França.
- Filipe Santos (UP), replacing Ricardo Lopes.
- Joel da Costa Santos (UFRJ), with Gerson Zaverucha.
PhD Alumni:
- Anderson Faustino da Silva (UFRJ)
- Manuel Eduardo Correia (UP), with Fernando Silva.
- Ricardo Lopes (UP), with Fernando Silva.
- Ricardo Rocha (UP), with Fernando Silva.
MSc Alumni:
- Leandro Marzulo (UFRJ), with Felipe França.
- Juliana Silva Bernardes (UFRJ), with Gerson Zaverucha.
- Aline Marins Paes (UFRJ), with Gerson Zaverucha.
- Roberto Francisco Ligeiro Marques (UFRJ), with Felipe França.
- José Afonso Lages Sanches (UFRJ), with Inês Dutra.
- Thobias Trevisan (UFRJ), with Claudio Amorim.
- Ricardo Lopes (UM/UP), with José Maia Neves.