13.03.2019 Tag der offenen Tür
Assoc. Prof. Dr. Ana Sokolova
Assoc. Prof. Dr. Ana Sokolova Deputy 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. 

Zur deutschen Startseite
  • News
    Fotonachweis: Peter Hautzinger BREXIT: Consequences for Austria and the EU
    Scientists at the University of Salzburg have examined the international impact of a Brexit shock on selected Eurozone member states and Great Britain.

    Mehr erfahren

    Preisverleihung Award Ceremony for Prof. DDr. DDr.h.c. J. Michael Rainer
    On 6 February, in the presence of the Austrian Ambassador Mag. Christian Ebner, Prof. DDr. DDr.h.c. J. Michael Rainer, Department of Private Law, Dean of the Faculty of Law, was presented the award "Ursicinio Alvarez" of the Spanish Notary for his services to Roman law in Madrid.

    Mehr erfahren

    IRIS - Logo 21 – 23 February: International Legal Informatics Symposium IRIS 2019
    This year, the Knowledge Network Law, Economy and Labor, together with the Vienna Center for Legal Informatics (WZRI) of the University of Vienna, has organized what is now the largest and most important scientific conference in Austria and Central Europe in the field of legal informatics: the International Legal Informatics Symposium IRIS. The event will be held from February 21 to 23, 2019, at the Faculty of Law of the University of Salzburg.

    Mehr erfahren

    ©Nataliya Elmer 26 February: Midissage "Blick in meine Welt"
    Insights into the soul-dreamed world of magic, Nataliya Elmers offers her paintings in oil and acrylic.

    Mehr erfahren

    Unipark 26 February: International Congress "Nanotechnology in Everyday Life"
    The University of Salzburg and the Wissensstadt Salzburg invite the general public to the international Open NanoScience Congress at the Unipark Nonntal on 26 February, 2019. Scientists offer insights into current research projects, whether on nanosafety or novel nanomaterials. The students from the Sparkling Science Project "Nan-O-Style" are also involved in the Congress and will present their work on nanomaterials in modern lifestyle products.

    Mehr erfahren

    Plakat Angela Schottenhammer: Chinese Sources on Maritime Asia
    For many years now, the international research team of Angela Schottenhammer has been collecting and editing Chinese sources on maritime Asia.

    Mehr erfahren

    Information zum ONSC Kongress in Salzburg 26 February: Open Nano Science Congress
    The ONSC will take place on Tuesday, 26 February, 2019, from 9:00 – 13:00 in the Unipark Nonntal, Salzburg.

    Mehr erfahren

    Gruppenfoto Appraising Risks-Projekt Appraising Risks: Patterns of Major Socio-Economic Risk and Risk Projection in the Indian Ocean World
    Prof. Dr. Angela Schottenhammer is part of a multi-disciplinary, international team of scholars under the directorship of Professor Gwyn Campbell of McGill University that has been awarded a $2.5 million partnership grant funded by the Social Sciences and Humanities Research Council of Canada (SSHRC) to investigate six periods of historical and contemporary environmental (e.g. climate change, volcanism, monsoons, cyclones, drought) ...

    Mehr erfahren

    Sprachkurs am Sprachenzentrum; (c) Gruber/Haigermoser Language Centre: Course Registration for Summer Semester 2019
    Important dates and information for registering with the Language Centre for courses offered during the Summer Semester 2019.

    Mehr erfahren

    Plakat der Lehrveranstaltung Summer Term 2019: Seminar Transnational Supply Chains and Domestic Human Rights Litigation
    The (English-language) seminar on “Transnational Supply Chains and Domestic Human Rights Litigation” deals with legal questions that arise when human rights abuses in transnational supply chains give rise to domestic law suits.

    Mehr erfahren

    Plakat der Lehrveranstaltung Space Law Summer Term 2019: Seminar Space Law
    Summer Term 2019: Seminar Space Law …with an excursion to the European Space Agency and a visit to the new VEGA observatory.

    Mehr erfahren

  • Veranstaltungen
  • 20.02.19 IRIS 2019

    Mehr erfahren

    21.02.19 IRIS 2019

    Mehr erfahren

    21.02.19 Orientation Week SoSe 2019: Unipark Bibliothek - Information und Führung (Deutsch)

    Mehr erfahren

    21.02.19 Orientation Week SoSe 2019: Unipark library - information and tour (English)

    Mehr erfahren

    21.02.19 Orientation Week SoSe 2019: Unipark library - information and tour (English)

    Mehr erfahren

    21.02.19 Orientation Week SoSe 2019: fortress tour

    Mehr erfahren

    21.02.19 IRIS 2019

    Mehr erfahren

    22.02.19 IRIS 2019

    Mehr erfahren

    22.02.19 Orientation Week SoSe 2019: main library - information and tour (English)

    Mehr erfahren

    22.02.19 Orientation Week SoSe 2019: Hauptbibliothek - Information und Führung (Deutsch)

    Mehr erfahren

  • 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