Principal Investigator in Research Projects

LEAP
Logic Environments with Advanced Parallelism, PTDC/EIA-CCO/112158/2009, between 2011 and 2014.

STAMPA
Sophisticated Tabling Mechanisms for Prolog and their Applications, PTDC/EIA/67738/2006, between 2008 and 2011.

Team Member in Research Projects

ELVEN
Expressive Logics for VErifying the Net, POCI-01-0145-FEDER-016844, since July 2016.

NanoSTIMA
Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics, NORTE-01-0145-FEDER-000016, since January 2016.

SIBILA
Towards Smart Interacting Blocks that Improve Learned Advice, NORTE-07-0124-FEDER-000059, between 2013 and 2015.

DAAD
Leveraging Object-Oriented Logic Programming for Software Quality Enforcement, between 2012 and 2013.

HORUS
Horn Representations of Uncertain Systems, PTDC/EIA-EIA/100897/2008, between 2010 and 2013.

JEDI
A Joint Environment for Deduction and Induction - and its Application over Spatial Data, PTDC/EIA/66924/2006, between 2008 and 2011.

MYDDAS
MySQL/Yap Deductive Database System, POSC/EIA/59154/2004, between 2005 and 2008.

APRIL
Applications using Parallelism in Induction and Logic, POSI/SRI/40749/2001, between 2002 and 2005.

DOLPHIN
High Performance Computing Environments for Parallel Computation, PRAXIS/2/2.1/TIT/1577/95, between 1997 and 2000.

MELODIA
Advanced Design and Implementation of Logic Programming Execution Models, JNICT/PBIC/C/TIT/2495/95, between 1997 and 1998.

PROLOPPE
Parallel Logic Programming with Extensions, PRAXIS/3/3.1/TIT/24/94, between 1995 and 1998.