Ana Sokolova

Assoz. Prof. Priv.-Doz. Dr.

20002020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

I work in the area of formal methods, logic in computer science, and coalgebra theory. I am particularly interested in semantics of probabilistic systems and concurrency, but have also worked and contributed on real-time systems and memory management.   

Further info

Further profiles:

External positions

Postdoc, Radboud University Nijmegen

1 Oct 200528 Feb 2007

PhD Student, Eindhoven University of Technology

15 Jun 200115 Jun 2005

Teaching and Research Assistant, SS Cyril and Methodius University in Skopje

1 Oct 199514 Jun 2001

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Research Output

Helmut Veith memorial workshop 2019 report

Morak, M., Prianichnikova, A. & Sokolova, A., 2019, 2 p. Association for Computing Machinery (ACM).

Research output: Other contributionCommunication

Preface for the special issue of Proof, Structure, and Computation 2014

Pattinson, D., Schuster, P. & Sokolova, A., 2019, Oxford University Press.

Research output: Other contributionResearch

The theory of traces for systems with nondeterminism and probability

Bonchi, F., Sokolova, A. & Vignudelli, V., 1 Jun 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. Institute of Electrical and Electronics Engineers Inc., 8785673. (Proceedings - Symposium on Logic in Computer Science; vol. 2019-June).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Parameter-Independent Strategies for pMDPs via POMDPs

Arming, S., Bartocci, E. & Sokolova, A., 2018, Proceedings QEST'18. Springer, p. 53-70 (Lecture Notes in Computer Science; vol. 11024).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Activities

8th Conference on Algebra and Coalgebra in Computer Science - CALCO 2019

Ana Sokolova (Participant)

3 Jun 20197 Jun 2019

Activity: Participating in or organising an eventContribution to an event

Syntax Meets Semantics 2019

Ana Sokolova (Participant)

21 Jan 201925 Jan 2019

Activity: Participating in or organising an eventContribution to an event

The Theory of Traces for Nondeterminism and Probability

Ana Sokolova (Speaker)

15 Apr 2019

Activity: Talk or presentationGuest lecture

University of Pisa

Ana Sokolova (Visiting researcher), & Harald Woracek (Visiting researcher)

14 Apr 201918 Apr 2019

Activity: Research stayResearch Stay

Ss. Cyril and Methodius University of Skopje

Ana Sokolova (Visiting researcher), & Harald Woracek (Visiting researcher)

7 Aug 201915 Aug 2019

Activity: Research stayResearch Stay