Assoc. Prof. Dr. Ana Sokolova
Assoc. Prof. Dr. Ana Sokolova Head of Department
  • Jakob-Haringer-Str. 2
  • 5020 Salzburg
Tel:
+43 662 8044-6417
Fax:
+43 662 8044-611
anas@cs.uni-salzburg.at http://cs.uni-salzburg.at/~anas/

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. 

  • News
    Dr. Alisauskiene is holding a lecture in the summer term 2020 regarding "Religion in Central and Eastern Europe after the fall of Berlin wall: individuals, institutions and politics". The course will be held in English.
  • Veranstaltungen
  • 27.02.20 IRIS 2020: Responsible Digitalisation / Verantwortungsvolle Digitalisatisierung
    27.02.20 Bildungsmonitoring in Österreich
    27.02.20 YELS 2020
    27.02.20 IRIS 2020: Responsible Digitalisation / Verantwortungsvolle Digitalisatisierung
    28.02.20 IRIS 2020: Responsible Digitalisation / Verantwortungsvolle Digitalisatisierung
    28.02.20 YELS 2020
    28.02.20 6. Tagung zur Didaktik der Alten Sprachen in Österreich
    29.02.20 6. Tagung zur Didaktik der Alten Sprachen in Österreich
    29.02.20 IRIS 2020: Responsible Digitalisation / Verantwortungsvolle Digitalisatisierung
    03.03.20 Welcome-Infoveranstaltung für Studienanfänger*innen
    03.03.20 Welcome-Infoveranstaltung für Studienanfänger*innen
    04.03.20 "When Maimonides met Einstein"
  • Alumni Club
  • PRESS
  • Uni-Shop
  • University of Salzburg's facebook site University of Salzburg's twitter site University of Salzburg's instagram site University of Salzburg's flickr site University of Salzburg's vimeo site