I am fortunate to work with (and learn from) a fantastic group of young researchers!

Current PhD Students

Juan C. Jaramillo (2022 - 2026) [DBLP]

Research on linear logic and session-based concurrency.

Former PhD Students and Postdocs

PhD student: Thesis: On the Expressivity of Typed Concurrent Calculi  [DOI] Extended version: [DOI]

PhD student. Thesis:  Correctly Communicating Software: Distributed, Asynchronous, and Beyond [LINK]

PhD student. Thesis: Minimal Structures for Program Analysis and Verification [DOI]

PhD student, co-supervised with Vanja Pantović. Thesis: Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation  [LINK]

Mauricio Cano (2020) [DBLP]

PhD student. Thesis: Session-based concurrency: between operational and declarative views [DOI]

Postdoc, NWO VIDI (Oct 2020 - Feb 2023)

BSc and MSc Students (Incomplete)

MSc students

BSc students

Work with us!