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

Current PhD Students

Former PhD Students and Postdocs

Mauricio Cano (2020)

Session-based concurrency: between operational and declarative views [DOI]


Jovana Dedeić (co-supervised with Vanja Pantović, 2022)

Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation [LINK]


Dan Frumin

Postdoc (Oct 2020 - Feb 2023)

Alen Arslanagić (2023)

Minimal Structures for Program Analysis and Verification [DOI]


BSc and MSc Students

MSc students

BSc students

Work with us!