Scholar
Ana Sokolova
Google Scholar ID: TqOx714AAAAJ
Professor at University of Salzburg
Citations & Impact
Citations
741
H-index
15
i10-index
22
Publications
20
Co-authors
23
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Supervised multiple Ph.D. students, including Sebastian Arming, Clemens Brunner, Daniel Kocher, Alireza Abyaneh, Michael Lippautz, Andreas Haas, Hannes Payer, and Silviu Craciunas; participated in important academic activities, such as being a member of the FWF Board, Secretary of IFIP WG 1.8 on Concurrency Theory, and a member of the Expert Committee of the EAPLS PhD Award.
Research Experience
- Served as a program committee member for several international conferences, such as FoSSaCS'24, iFM'23, TbiLLC'23, etc.; organized multiple workshops and conferences, such as Dagstuhl Seminar 22492 - Formal Methods and Distributed Computing: Stronger Together; served as the program committee chair for MFPS’21.
Education
- Information not provided
Background
- Research interests include formal methods, concurrency theory and practice, particularly coalgebra based on category theory, behavioral semantics, traces, and the combination of probability and nondeterminism. She has also contributed to probabilistic systems (probabilistic automata) and concurrency theory, as well as engineering areas such as memory management and real-time systems.
Miscellany
- Personal interests and other information not provided
