Welcome to J. Correia Lopes Home page


I'm an Assistant Lecturer at University of Porto, Faculty of Engineering and a researcher at INESC Norte in Porto, Portugal.
See the places were I work in the map (20k GIF)


As an Assistant Lecturer at the "Departamento de Engenharia Electrotécnica e de Computadores (DEEC)" of the "Faculdade de Engenharia da Universidade do Porto (FEUP)" since 15th November 1984, I've lectured: Circuit Theory, Signal Theory, Algebra, Statistics, Probability Theory, Programming in Pascal, Advanced Programming in UNIX, Databases, Database Technology and Programming in Napier88.

As a Researcher at "Instituto de Engenharia de Sistemas e Computadores (INESC)" since 19th June 1985, I've lectured: Databases, Software Engineering and Operating System UNIX.

teaching activities! Pages related to my teaching activities (in Portuguese).


My research is in the area of Persistent Programming and I was working in the FIDE project, Glasgow University, Department of Computing Science from October 1991 to January 1995. There's an old page there.

If you are interested in the subject you may have a look at the Persistence and Distribution Group page in Glasgow.

Related to Persistent Programming Technology, I wrote a PhD thesis:

An Architecture for the compilation of Persistent Polymorphic Reflective Higher-order Languages

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 is 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 (ps.gz, 41Kb).

Other Interests

You may want to follow these links


Created: Feb 1994
Last modified: Mon Sep 15 15:36:46 1997
João A. Correia Lopes

INESC, Apartado 4433, 4007 PORTO CODEX, PORTUGAL
Phone: +351-2-209-4245, Fax: +351-2-208-4172

PGP public key for User ID: Joao Correia Lopes <jlopes@inescn.pt>