معرفی
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.
Ana Sokolova در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- AAna SokolovaUniversity of Salzburg · استاد
Ana SokolovaParis Lodron University of Salzburg · استاد- AAlexandra SilvaCornell University · استاد
- CChristel BaierMax Planck Institute for Software Systems · استاد
Barbara KönigUniversity of Duisburg-Essen · استاد- SSebastian JungesMax Planck Institute for Software Systems · استادیار