Former Students

• Diogo Serra

MSc thesis: A Proof System for Lock-Free Concurrency (PDF).

• Tiago Carvalho

MSc thesis: Spatial Types for Concurrency: A Spatial Logic to Specify and Verify Distributed Systems (PDF).

• Maxime Gamboni

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.