Jakob-Haringer-Str. 2

5020 Salzburg

Room 2.17

+43 662 8044 6417


Welcome to my Homepage

My research is in the area of formal methods and concurrency theory and practice, within theoretical computer science.

On the abstract end, I work on coalgebra -- a unifying theory for the analysis of various transition systems and automata, based on category theory -- and in particular on behavioural semantics, traces, and the combination of probability and nondeterminism. On the more concrete side, I work on probabilistic systems (probabilistic automata) and concurrency theory.  Among my contributions to probabilistic systems, is also my work on convex algebras.

My interests are broad: I have also contributed to engineering areas in computer science like memory management and real-time systems, and I have made a contribution to security on probabilisitc anonimity.

The most exciting research that I worked on, besides coalgebra, is on concurrent data structures and their semantics.


Some (recent) community activities:

          • PC member for FoSSaCS'24, iFM'23, TbiLLC'23, MFPS'23, QUALOG'23, ESOP'23, CSL'23, RAMiCS'23, CAV’22, CONCUR’22, CSL’22, FORMATS’22, FORTE’22, FoSSaCS’22, MPC’22, TbiLLC’22, POPL’21, FACS’21, MFCS’21, FASE’20, CONCUR’20, FORMATS’20, MFPS’20, CMCS’20, TTCS’20, FoSSaCS’19, FM’19, FORTE’19, FORMATS’19, LICS’18, CONCUR’18, CMCS’18, VMCAI’18, RTEST’18, QAPL’18, ERC member of ISMM’18, PC member of CAV’17, CALCO’17, MFPS’17, FORMATS’17, FORTE’17, FMCAD’17, ICE’17, ICTI’17, QAPL’17, ERC member of CAV’16, PC member of CONCUR’16, FM’16, ICTI’16, ICE’16, CONCUR’15, CALCO’15, ICE’15, PSC’14 (PC co-chair), CMCS’14, FORMATS’14, FORTE’14, ICE’14 (PC co-chair and ICEcreamer), MFPS XXIX, ICE'13 (PC co-chair and ICEcreamer), CMCS'12, ICE'12 (ICEcreamer), CORCS'12, ICE'11, CORCS'11, ICE'10, ICE'09, CORCS'09, DATICS'09, DTVCS'09, CORCS'08, DATICS'08, DTVCS'08, co-organizer of Coalgebra Day 2006, helped in the local organization of EuroSys 2011

          • (Co-)Organizer of Dagstuhl Seminar 22492 - Formal Methods and Distributed Computing: Stronger Together

             December 4 - 9, 2022

          • PC chair of MFPS’21. PC co-chair of SPIN’21, WiL’21, FORTE’20, WiL’20, CALCO’19, PSC’14 @ VSL

          • Local Organizer of CALCO & MFPS 2021 -- HYBRID from Salzburg

          • Member of the FWF Board, Alternate Reporter for Computer Science I 2020-2023

          • Secretary of IFIP WG 1.8 on Concurrency Theory

          • Member of the Expert Committee of the EAPLS PhD Award 2018, 2019, 2021 and the Jury for the Beth Outstanding Dissertation Prize 2022 and 2023

          • Member of IFIP WG 1.8 on Concurrency Theory

          • Member of IFIP WG 1.3 on Foundations of System Specification

          • (Co-)Organizer of HVW 2018

          • (Co-)Organizer of OPCT17, IFIP WG 1.8 Meeting, June 26 - June 29, 2017, IST Austria.

          • Workshop (co-)chair of CPS Week 2016

          • (Co-)Organizer of AVM 2015 (Alpine Verification Meeting) May 4 - May 6, Attersee, Austria.

          • (Co-)Organizer of RiSE/PUMA Workshop Mondsee, September 29-October 3, 2014, Mondsee, Austria.


PhD students:

          • Sebastian Arming

          • Clemens Brunner, co-supervised, defended on June 25, 2021

          • Daniel Kocher, co-supervised, defended on May 28, 2021

          Alireza Abyaneh, co-supervised, defended on November 29, 2022

          Michael Lippautz, co-supervised, defended on December 15, 2015

          Andreas Haas, co-supervised, defended on November 23, 2015 

          Hannes Payer, co-supervised, defended on September 28, 2012 

          Silviu Craciunas, co-supervised, defended on October 14, 2010


Bachelor students:

          •Nuris Samardzic, graduated April 2022

          •Alexander Loitzl, graduated September 2021

          •Sophie Reischl, graduated October 2019

          •Barbara Mayer, graduated March 2019

          •Cornelia Mayer, graduated August 2018

          •Sarah Sallinger, graduated July 2017

          •Michael Noppinger



          • Head of Department, Department of Computer Sciences, University of Salzburg, November 1, 2019 to December 31, 2021. This was a very challenging time, yet also one in which some very good things happened. I am glad that I can look back with a positive feeling.

          • Deputy Head of Department, Department of Computer Sciences, University of Salzburg, October 1, 2017 to November 1, 2019.

          • NFN RiSE (Shine), Co-PI, 2015-2019

          Elise Richter fellow, postdoc and project leader, Computational Systems Group, Department of Computer Sciences, University of Salzburg, March 1, 2009 to February 28, 2013.

          • Postdoc with Christoph Kirsch, Computational Systems Group, Department of Computer Sciences, University of Salzburg, March 1, 2007 to February 28, 2009.

          • Before joining the Computational Systems group in Salzburg, from October 2005 till March 2007, I enjoyed working as a postdoc with Bart Jacobs, in the great Security of Systems group (now Digital Security group), Department of Computer Science (now Institute for Computing and Information Sciences), at Radboud University Nijmegen, the Netherlands.

          • Before Nijmegen, I spent some wonderful years (2001 - 2005) working as a PhD student in Jos Baeten's Formal Methods (FM) group (now no longer existing), Department of Computer Science, at TU Eindhoven. My supervisor was Erik de Vink. I defended my thesis in Eindhoven on November 3, 2005. Follow the next link for information and photos of my defense.

          • Originally, I come from North Macedonia. I studied and worked there as a teaching and research assistant at the Institute of Informatics (now part of FCSE), Faculty of Natural Sciences and Mathematics in Skopje.