Assoc.-Prof. Dr. Ana Sokolova

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

The Exhaust Gas Scandal and the Possibilities of Legal Protection
Which legal protection option - warranty or error - is more advantageous for buyers of the cars affected by the diesel exhaust scandal? Lawyer Christina Buchleitner has compared the two remedies in her dissertation at the University of Salzburg. Now the 26-year-old Viennese has won the first prize in the Young Investigators Award at the University of Salzburg.
Mehr erfahren

Cybercrime - Opportunities for Women in Emerging IT Fields
More than a hundred participants, who were interested in and supporters of ditact, met yesterday in Unipark Nonntal for the opening of this year's ditact_women's IT summer studies. Two hundred and sixteen participants from all over German-speaking countries have registered for the 46 IT and Digital University Information Technology (IT) Summer University courses, which will run for two weeks at the Unipark Nonntal and are being carried out for the seventeenth time by the University of Salzburg.
Mehr erfahren

ÖAW Scholarship for Toponymy Researcher in Lungau
For her dissertation "Die Ortsnamen im Lungau", the doctoral student, Magdalena Schwarz, was awarded the DOC scholarship of the Austrian Academy of Sciences (ÖAW) at the Department of Linguistics of the University of Salzburg.
Mehr erfahren

Salzburg Researcher Exhibits at the Genocide Museum in Yerevan in Armenia
The Salzburg Armenologist, Jasmine Dum-Tragut, opens the first exhibition on 31 August, 2019, at the Genocide Museum in Yerevan. The exhibition shows the fate of Armenian prisoners of war in the Austrian prison camps during the First World War.
Mehr erfahren

„Würde des Menschen nicht relativierbar“
At the end of the Salzburger Hochschulwochen, outgoing Rector Heinrich Schmidinger pleaded for contemporary humanism in response to a complex and confused world. Anyone who gives in to the longing for simplicity will ring in the hour of ideology.
Mehr erfahren

22 October: Conference "Erosion of the Rule of Law"
Democracy and the rule of law seem to have experienced better times in Europe. The recent developments in many countries point to a dismantling of the rule of law, fundamental rights and democracy.
Mehr erfahren

Until 27 August: Salzburg Apothecary Herb Garden
The Botanical Garden invites you to a free guided tour! Meeting point: entrance to the Botanical Garden. Duration: about two hours. The tours takes place in all weather conditions. Botanical Garden, Hellbrunnerstrasse 34.
Mehr erfahren

2 – 3 September: 7th Salzburg Summer School - Beziehungssache Schule
The 7th Salzburg Summer School will take place the 2nd and 3rd of September, 2019. A comprehensive pedagogical summer education program is offered for teachers and student teachers of all types of schools and subjects. Registrations are possible.
Mehr erfahren
Veranstaltungen
27.08.19 Salzburger Apotheker-Kräutergarten
Mehr erfahren
Alumni Club
PRESS
Uni-Shop

Top-Navi

Haupt-Navi

Brotkrumenpfad

Sub-Navi

Sidebar-Menü rechts

Footer