| Next revision |
— | rd [09/05/2018 11:55] – external edit 127.0.0.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 |
| |