J. Correia Lopes

FEUP/DEI & INESC TEC

User Tools

Site Tools


rd

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

rd [09/05/2018 11:55]
rd [09/05/2018 11:55] (current)
Line 1: Line 1:
 +====== Research Activities ======
 +
 +**Faculty of Engineering of Porto University\\
 +  Department of Informatics Engineering\\
 +  João Correia Lopes**\\
 +---
 +
 +I've worked in [[http://​www.inescporto.pt|INESC Porto]], [[http://​dcs.gla.ac.uk/​|DCS Glasgow]] and [[https://​sigarra.up.pt/​feup_uk/​WEB_PAGE.INICIAL|FEUP]].
 +
 +[[https://​sigarra.up.pt/​feup/​pt/​projectos_geral.lista_projectos?​pi_cod_pessoa=230756|Search Results for Projects [FEUP] ]]
 +
 +===== 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,​ 2017—2020)
 +  * RECAP — 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)
 +  * [[https://​icare4depression.ismai.pt/​|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)
 +  * [[http://​www.neweuropeanwindatlas.eu/​|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-2019) ​
 +  * [[http://​www.e-compared.eu/​|E-COMPARED]] — European-COMPARative Effectiveness research on online Depression (FP7-HEALTH.2013-INNOVATION-1,​ 603098, 2014—2016)
 +  * [[http://​windscanner.eu|WindScanner.eu]] — The European WindScanner Facility (FP7-INFRASTRUCTURES,​ 312372, 2012—2015)
 +  * [[https://​sigarra.up.pt/​feup/​pt/​projectos_geral.mostra_projecto?​P_ID=64370|TICE.Mobilidade]] — Sistema de mobilidade centrado no utilizador (SI IDT—13843/​2011,​ 2011—2014)
 +  * [[https://​sigarra.up.pt/​feup/​pt/​projectos_geral.mostra_projecto?​P_ID=64362|EcoPlanner]] — Plataforma de gestão ecoeficiente (SI IDT—13085/​2011,​ 2011—2013)
 +  * [[https://​sigarra.up.pt/​feup/​pt/​projectos_geral.mostra_projecto?​P_ID=64133|MOBILES]] — MOBILidade Eléctrica Sustentada (SI IDT—5730/​2009,​ 2009—2011)
 +  * [[http://​www.ict4depression.eu/​|ICT4Depression]] — User-friendly ICT Tools to Enhance Self-Management and Effective Treatment of Depression in the EU (FP7—248778,​ 2010—2012)
 +  * [[https://​sigarra.up.pt/​feup/​pt/​projectos_geral.mostra_projecto?​P_ID=64128|ROBOTVIGIL]] — Robot Vigilante (SI IDT—7905/​2010,​ 2010—2011)
 +  * [[https://​sigarra.up.pt/​feup/​pt/​projectos_geral.mostra_projecto?​P_ID=63607|ILP-Web-Service]] — Um serviço web baseado num sistema de indução de programas de lógica (PTDC/​EIA/​70841/​2006,​ 2008—2010)
 +  * [[https://​sigarra.up.pt/​feup/​pt/​projectos_geral.mostra_projecto?​P_ID=63760|DBPreserve]] — Data Warehouses for the Long-term Preservation of Institutional Electronic Records and Databases (PTDC/​CCI/​73166/​2006,​ 2007—2009)
 +  * [[https://​sigarra.up.pt/​feup/​pt/​projectos_geral.mostra_projecto?​P_ID=63448|MEDSI]] — Management Decision Support for Critical Infrastructures (IST—506991,​ 2005—2006)
 +
 +===== INESC Porto =====
 +
 +Since 19th June 1985, I'm doing research at [[http://​www.inescporto.pt/​|Instituto de Engenharia de Sistemas e Computadores]] (INESC Porto) in Information
 +Systems, Databases and Software Engineering.
 +At the moment I'm a researcher of [[http://​www.inescporto.pt/​usig-en?​set_language=en&​cl=en|Information and Computer Graphic Systems]] (USIG).
 +
 +===== Computing Science Department, University of Glasgow =====
 +
 +From October 1991 to January 1995, I was doing research in Persistent Programming,​ in the FIDE project, [[http://​www.gla.ac.uk/​|University of Glasgow]],
 +[[http://​www.dcs.gla.ac.uk/​|Department of Computing Science]], working in my PhD in the [[http://​www.dcs.gla.ac.uk/​rapids/​|Persistence and Distribution Group]].
 +
 +===== 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**:​ [[http://​en.wikipedia.org/​wiki/​Malcolm_Atkinson|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 [[/​~jlopes/​thesis/​abstract.html.en|Abstract]],​ or [[/​~jlopes/​thesis/​thesis/​bibliography.ps.gz|Bibliography]] (41kB,​_ps.gz).
 +
 + --- //J. Correia Lopes
  
rd.txt · Last modified: 09/05/2018 11:55 (external edit)