Affiliations | | Short CV | | Research |

Winter Semester: Introduction to Programming

Spring Semester: Theory of Computation

Computational Logic

Data Structures and Algorithms

Discrete Mathematics

Elements of Programming

Languages and Automata

Theory of Concurrent Processes

Cláudio Vasconcelos (PhD)

Working on behavioural type inference for concurrent object-oriented languages.

- MSc thesis: A Proof System for Lock-Free Concurrency (PDF).
- MSc thesis: Spatial Types for Concurrency: A Spatial Logic to Specify and Verify Distributed Systems (PDF).
- PhD thesis: Statically Proving Behavioural Properties in the Pi-Calculus via Dependency Analysis (PDF). MSc thesis: What is TyCO? (PDF, Errata).
Joana Martinho

MSc thesis: Pi-Calculus with Polyadic Synchronization
(PDF).
Luis Dominguez (PhD)

Working on relational foundations for polymorphic functional object-based program calculi.

Last modified: Mon Jan 18 11:02:06 WET 2016