Ana Sokolova is an Associate Professor at the Department of Computer Science, University of Salzburg. She studied at the University St. Cyril and Methodius in (North) Macedonia, and made her PhD at the TU Eindhoven in the Netherlands. She was a postdoc at Radboud University Nijmegen, and University of Salzburg, as well as Elise-Richter Fellow, before her professorship at the University of Salzburg. Ana Sokolova’s work is mainly in Formal Methods and Theoretical Computer Science, in particular Algebra, Logic, and Coalgebra in Computer Science, Probabilistic Systems, and Concurrency Theory.