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).