Principal Investigator in Research ProjectsLEAP
Logic Environments with Advanced Parallelism, PTDC/EIA-CCO/112158/2009, between 2011 and 2014.
Sophisticated Tabling Mechanisms for Prolog and their Applications, PTDC/EIA/67738/2006, between 2008 and 2011.
Team Member in Research ProjectsELVEN
Expressive Logics for VErifying the Net, POCI-01-0145-FEDER-016844, since July 2016.
Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics, NORTE-01-0145-FEDER-000016, since January 2016.
Towards Smart Interacting Blocks that Improve Learned Advice, NORTE-07-0124-FEDER-000059, between 2013 and 2015.
Leveraging Object-Oriented Logic Programming for Software Quality Enforcement, between 2012 and 2013.
Horn Representations of Uncertain Systems, PTDC/EIA-EIA/100897/2008, between 2010 and 2013.
A Joint Environment for Deduction and Induction - and its Application over Spatial Data, PTDC/EIA/66924/2006, between 2008 and 2011.
MySQL/Yap Deductive Database System, POSC/EIA/59154/2004, between 2005 and 2008.
Applications using Parallelism in Induction and Logic, POSI/SRI/40749/2001, between 2002 and 2005.
High Performance Computing Environments for Parallel Computation, PRAXIS/2/2.1/TIT/1577/95, between 1997 and 2000.
Advanced Design and Implementation of Logic Programming Execution Models, JNICT/PBIC/C/TIT/2495/95, between 1997 and 1998.
Parallel Logic Programming with Extensions, PRAXIS/3/3.1/TIT/24/94, between 1995 and 1998.