Brotkrumenpfad
Assoc. Prof. Dr. Ana Sokolova
Head of Department
- Jakob-Haringer-Str. 2
- 5020 Salzburg
- Tel:
- +43 662 8044-6417
- Fax:
- +43 662 8044-611
I work in the area of formal methods for analysis of concurrent systems, more specifically on behavior semantics of systems. I am interested in coalgebra, an abstract unifying framework for studying various transition systems based on category theory, and more concretely in probabilistic and real-time systems. My recent interests stretch all the way to concurrent data structures.
