Ana Sokolova

Assoz. Prof. Priv.-Doz. Dr.


Research activity 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


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or