Research Activities
Projects
MELOA — Multi-purpose/Multi-sensor Extra Light Oceanography Apparatus (H2020-SC5-2016-2017-RIA, 776825, December 2017—March 2021)
e-WindLidar — Making lidar data FAIR, (IRPWIND WP3 — Lidar Data Modelling and Architecting Web Platform, Grant agreement nº 609795, July 2017—January 2018)
windscanner.pt — Infraestrutura Nacional WindScanner (NORTE-01-0145-FEDER-022207 (PINFRA/22207/2016), 2017—2020)
RECAP preterm — REsearch on Children and Adults born Preterm (H2020-SC1-2016-RTD, 733280, 2017—2021)
TAIL — Research data management from creation to deposit and sharing (PTDC/EEI-ESS/1672/2014, POCI-01-0145-FEDER-016736, 30-05-2016—30-05-2019)
iCare4Depression — I Care for Depression: Blending face-to-face psychotherapy with internet and mobile digital solutions (PTDC/MHC-PCL/1991/2014, POCI-01-0145-FEDER-016840, 01-06-2016—31-05-2019)
NEWA — New European Wind Atlas Joint Programme (ERA-NET Plus, topic FP7-ENERGY.2013.10.1.2, NEWA/0001/2014, 01-03-2015—
28-02-201928-02-2020)
E-COMPARED — European-COMPARative Effectiveness research on online Depression (FP7-HEALTH.2013-INNOVATION-1, 603098, 2014—2016)
WindScanner.eu — The European WindScanner Facility (FP7-INFRASTRUCTURES, 312372, 2012—2015)
TICE.Mobilidade — Sistema de mobilidade centrado no utilizador (SI IDT—13843/2011, 2011—2014)
EcoPlanner — Plataforma de gestão ecoeficiente (SI IDT—13085/2011, 2011—2013)
MOBILES — MOBILidade Eléctrica Sustentada (SI IDT—5730/2009, 2009—2011)
ICT4Depression — User-friendly ICT Tools to Enhance Self-Management and Effective Treatment of Depression in the EU (FP7—248778, 2010—2012)
ROBOTVIGIL — Robot Vigilante (SI IDT—7905/2010, 2010—2011)
ILP-Web-Service — Um serviço web baseado num sistema de indução de programas de lógica (PTDC/EIA/70841/2006, 2008—2010)
DBPreserve — Data Warehouses for the Long-term Preservation of Institutional Electronic Records and Databases (PTDC/CCI/73166/2006, 2007—2009)
MEDSI — Management Decision Support for Critical Infrastructures (IST—506991, 2005—2006)
INESC Porto
Computing Science Department, University of Glasgow
PhD Thesis
My PhD degree in Computing Science was awarded in June 1997 by University of Glasgow.
Title: An Architecture for the compilation of Persistent Polymorphic Reflective Higher-order Languages
Supervisor: Malcolm Atkinson
Thesis: My thesis is that an intermediate representation designed to enable high level optimisations and easy code generation can
effectively support persistent reflective higher-order polymorphic languages in the context of Scalable Persistent Foundations,
namely that it supports longevity, safety and persistence.
This was demonstrated by presenting an initial design of such a compilation system and identifying and validating its crucial
features by prototyping.
You may have a look at the Abstract, or Bibliography (41kB,_ps.gz).
— J. Correia Lopes