Assoc.-Prof. Dr. Ana Sokolova

Home
Computer Sciences
Staff
Associate Professors
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.

Zur deutschen Startseite

News

The State Welcomes the Concept for Structural Reform of the University of Salzburg
The uni should be fit for the future / science and education an investment in the future - the new rectorate of the Paris Lodron University of Salzburg under leadership of Hendrik Lehnert has presented a conclusive concept for a new university structure, which is currently being coordinated internally.
Mehr erfahren

Big Data Analysis for Humanitarian Aid
Researchers in the Department of Geoinformatics at the PLUS have been working for several years on national and international research projects on topics sich as humanitarian management, refugee management, natural disasters as well as COVID-19. They have analysed and evaluated billions of geo-referenced social media data. The results serve stakeholders as an important basis for decision making.
Mehr erfahren

Political Scientist Spilker Awarded the Ars Docendi State Prize
Gabriele Spilker, Professor of Empirical Research Methods at the Department of Political Science at the University of Salzburg, was awarded the Ars Docendi State Prize for excellent teaching at Austrian universities yesterday evening in Vienna. The prize is awarded in five categories each endowed with 7,000 euros. Spilker is the winner in the category "Learning outcomes examination culture and its anchoring in the course"
Mehr erfahren

New Publication
Gattungstheorie (Genre Theory). published by Paul Keckeis and Werner Michler. Berlin: Suhrkamp 2020 (= stw 2179) (released 14.9.2020)
Mehr erfahren

The New Semester Guide is Here
With the merger of the careers and start up divisions we are extending our proven Career Center programme with the aim of arousing interest in founding and supporting those interested in founding a company.
Mehr erfahren

MIGRATION RESEARCHERS FOR THE RECEPTION OF REFUGEES FROM MORIA IN AUSTRIA
The 6th annual conference on 6.migration and integration research in Austria took place from the 16 to 18 September at the der University of Salzburg – partly in person, partly online. A resolution for the reception of refugees from Moria was approved.
Mehr erfahren

New Publication:"Lebensende in Institutionen (End of Life in Institutions)"
As part of its profile „Räume und Identitäten (Spaces and Identities)“ the third annual conference was held on the 30th January 2020 at the Department of Public, International and European Law at the University of Salzburg. The conference with the title „Lebensende in Institutionen ( End of Life in Institutions)" raised a controversial social issue.
Mehr erfahren

Dissertation Prizes 2020: Call for Applications
Applications for two dissertation prizes (worth 2,000 euros each) can be made until the 31st October.
Mehr erfahren

Info on USI-Registration
This semester from the 28.09.2020 personal registration for USI courses will not be possible in order to avoid unnecessary crowds of people.
Mehr erfahren

Language Centre:Course Registration Winter Semester 2020/21
Important dates and information on registering for courses at the Language Centre in Winter Semester 2020/21
Mehr erfahren

historioPLUS - the current Edition 7 (2020) is now available
historioPLUS , like so many others, has also had to adapt to the change in circumstances due to Covid-19. For this reason the current year has appeared a little later than in previous years.
Mehr erfahren

New Publication: Teaching and Learning Skills for Intercomprehension
The Language Center has been active in the field of intercomprehension didactics for almost 20 years,Well-known multilingual didactics experts, came together to present the current state of research in this area.The result is the anthology "Lehr- und Lernkompetenzen für die Interkompehension. Perspektiven für die mehrsprachige Bildung (Teaching and Learning Skills for Intercomprehension. Perspectives for Multilingual Education)"Band 10 der Salzburger Reihe zur Lehrer/innen/bildung.
Mehr erfahren

Webinar Series:Holding Seminars and Lectures Online
Registration for the webinars with Ms MMag. Dr. Olivia Vrabl, colleagues from IT-Services and the ZFL-Team is possible at anytime.
Mehr erfahren

"Atelier Gespräche" ( Atelier Discussions) in the Winter Semester 2020/21
Programme management and discussion moderation: Univ.-Prof. Dr. Sabine Coelsch-Foisner
Mehr erfahren

Learning support for students is now starting now with kick-off meetings
During the time of Corona, in particular, it became clear just how important it is to support students digitally in their every day university life. The project „On Track“ – stay on track combines digital and social worlds. It is starting at the right time!
Mehr erfahren

FAQs
Frequently Asked Questions (FAQ) about the Corona semester
Mehr erfahren
Veranstaltungen
Alumni Club
PRESS

Top-Navi

Haupt-Navi

Brotkrumenpfad

Sub-Navi

Sidebar-Menü rechts

Footer