Team

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

Current PhD students

Juan C. Jaramillo (URL, DBLP)

• Research on linear logic and session-based concurrency.
• Expected graduation: July 2026.

Bianca Fürstenau (URL)

• Research on coalgebraic and semantic approaches to session types (NWO XL)
• Expected graduation: August 2029.

Former PhD Students and Postdocs

Joseph Paulus (2024)

• PhD student. Thesis: On the Expressivity of Typed Concurrent Calculi. (DOI) - Extended version: (DOI).

Bas van den Heuvel (2024)

• PhD student. Thesis: Correctly Communicating Software: Distributed, Asynchronous, and Beyond (DOI).
• Second place, VERSEN PhD thesis award 2024.

Alen Arslanagić (2023)

• PhD student. Thesis: Minimal Structures for Program Analysis and Verification (DOI).

Jovana Dedeić (2022)

• PhD student, co-supervised with Vanja Pantović. Thesis: Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation (DOI).

Mauricio Cano (2020)

• PhD student. Thesis: Session-based concurrency: between operational and declarative views (DOI).
• Third place, VERSEN PhD thesis award 2020.

Dr. Dan Frumin

• Postdoc, NWO VIDI (Oct 2020 - Feb 2023)