About
Ana Sokolova is a Full Professor in the Department of Computer Science at the University of Salzburg. Her research focuses on formal methods, concurrency theory, and coalgebra, with significant contributions to probabilistic systems and concurrent data structures.
- Department: Computational Systems Group, University of Salzburg
- Key Research Areas: Formal Methods, Concurrency Theory, Coalgebra, Probabilistic Systems
Her work bridges theoretical and applied computer science, including memory management, real-time systems, and security. She has been actively involved in organizing international conferences and workshops, such as Dagstuhl Seminar 22492, and served on program committees for venues like FoSSaCS, CAV, and CONCUR.
Recent publications explore coalgebraic trace semantics, probabilistic anonymity, and concurrent data structures. She has supervised numerous PhD students, including Sebastian Arming and Clemens Brunner, and is recognized for her Elise Richter Fellowship.
Find Ana Sokolova elsewhere
Related Searches
You Might Also Like
- AAna SokolovaUniversity of Salzburg · Professor
Ana SokolovaParis Lodron University of Salzburg · Professor- AAlexandra SilvaCornell University · Professor
- CChristel BaierMax Planck Institute for Software Systems · Professor
Barbara KönigUniversity of Duisburg-Essen · Professor- SSebastian JungesMax Planck Institute for Software Systems · Assistant Professor