Skip to content

GSD

Sections
Personal tools
You are here: Home » Members » psa's Home

Paulo Sérgio Almeida

Document Actions
Assistant Professor, Departamento de Informática, Universidade do Minho
psa
Email:
psa at di uminho pt
Address:
Departamento de Informática
Universidade do Minho,
Campus de Gualtar, 4710-057 Braga,
Portugal
Phone:
+351 253 604 451
Fax:
+351 253 604 471

Teaching

I teach mainly a course on distributed systems (in portuguese).

Research Interests

  • State and interference in programming languages

    This was my main fight in the PhD. In special, I worked on object aliasing. I have designed a language/type-system mechanism, called Balloon Types, which is described in my PhD thesis Control of Object Sharing in Programming Languages, and also in a paper in ECOOP'97.

  • Type systems for object-oriented languages

  • Foundations of distributed systems

    More specifically, time/version stamping mechanisms. The two mains results up to now have been Dynamic Version Stamps and Bounded Version Vectors.

Selected Publications

Created by psa
Last modified 2008-08-25 02:41 PM
 

Powered by Plone

This site conforms to the following standards: