Research Projects
List of projects I am/was involved in, either as PI or as researcher.
Current- SMILES - Smart, Mobile, Intelligent and Large Scale Sensing (NORTE-01-0145-FEDER-000020).
- HYRAX - Crowd-Sourcing Mobile Devices to Develop Edge Clouds A CMU-Portugal project (CMUP-ERI/FIA/0048/2013). (PI) (Co-PI at CMU: Priya Narasimhan)
- Authenticus - Authentication of Scientific Publications. (PI)
- SCAN - Scalable Comparative Analysis of Networks. (PI)
- SIBILA - Towards Smart Interacting Blocks that Improve Learned Advice. (PI) (ON2/NORTE-07-0124-FEDER-000059)
- RTPm - A P2P Middleware Platform for QoS and Soft Real-Time Computing. (PI)
- LEAP - Logic
Environments with Advanced Parallelism
Contract: PTDC/EIA-CCO/112158/2009. Dates: 3/2011 - 2/2014. (Researcher) - HORUS - Horn Representations of Uncertain
Systems
Contract: PTDC/EIA-EIA/100897/2008. Dates: 1/2010 - 12/2012. (Researcher) - STAMPA - Sophisticated
TAbling Mechanisms for Prolog and their Applications.
Contract: PTDC/EIA/67738/2006. Dates: 01/2008 - 12/2010. (Researcher) - APRIL:
Applications using Parallelism in Induction and Logic.
Contract: POSI/SRI/40749/2001. Dates: 01/2002 - 01/2005. (PI) - DiCoMo:
Concurrency, Distribution and Mobility.
Contract: PRAXIS/P/EEI/12059/1998. Dates: 7/1998 - 6/2001. (PI at LIACC) - Dolphin: a High-Performance Parallel Computing Environment. (PI)
- MELODIA: An Advanced Model for the Execution of Logic
Programs.
Contract: JNICT/PBIC/C/TIT/2495/95. Dates: 1996/99. (Researcher). - PROLOPPE: Parallel Logic Programming with Extensions.
Contract: PRAXIS/3/3.1/TIT/24/94. Dates: 1995/98. (Researcher).