معرفی
Ana Sokolova is a Professor in the Department of Computer Science at the University of Salzburg. She is affiliated with the Faculty of Digital and Analytical Sciences and actively contributes to research in theoretical computer science.
- University: University of Salzburg
- Faculty: Faculty of Digital and Analytical Sciences
- Department: Computer Science
- Email: ana.sokolova@plus.ac.at
Her research focuses on probabilistic systems, concurrency theory, convex algebras, and formal verification. This work bridges theoretical foundations with practical applications in distributed computing and programming semantics.
Recent publications highlight advancements in trace semantics, determinization, probabilistic anonymity, and coalgebraic modeling. Key trends include the integration of Markov chains, nondeterministic systems, and algebraic structures for formal verification.
۰مقاله ثبتشده
