About
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.
0Publications listed
Find Ana Sokolova elsewhere
Related Searches
You Might Also Like
- AAna SokolovaUniversity of Salzburg · Professor
- AAna SokolovaVienna University of Technology · Professor
Radu MardareHeriot-Watt University · Professor- AAlexandra SilvaMax Planck Institute for Software Systems · Professor
Tobias WinklerRWTH Aachen University · Researcher- AAlexandra SilvaCornell University · Professor