Jorge A. Pérez - Team

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

Joseph Paulus (2024) [DBLP]

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

Bas van den Heuvel (2024) [DBLP]

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

Alen Arslanagić (2023) [DBLP]

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

Jovana Dedeić (2022) [DBLP]

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]

Dr. Dan Frumin

Postdoc, NWO VIDI (Oct 2020 - Feb 2023)

BSc and MSc Students (Incomplete)

MSc students

Jeroen Brandsma (2018, co-supervised with Paris Avgeriou)
Firat Sertgoz (2018, co-supervised with Marco Aiello)
Bas van den Heuvel (2019, UvA - co-supervised with Alban Ponse)

BSc students

Elton Antonis (2018, Honours College and BSc Thesis)
Alexandru Babeanu (2018, co-supervised with Mauricio Cano)
Barnabas Busa (2018, co-supervised with Vasilios Andrikopoulos)
Alex Keizer (2020, UL - main supervisor Henning Basold)
Daan Raatjes (2018, Honours College)
Luis D. Reyes (2020)
Ana Roman (2017)
Kanghu Shi (2020, Honours College)
Bianca Udrescu (2019)
Jakob Vokac (2019)
Erik Voogd (2018)
Folkert de Vries (2018)
Evi Xhelo (2019)

Work with us!

BSc / MSc students: please see here.
PhD students and Postdocs: at the moment I don't have any vacancies - stay tuned!
If you have your own source of funding (already acquired):
- Send me an email including a CV, transcripts of academic records, and a one-page description of your research interests.

Google Sites

Report abuse