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:
- Publications via dblp
- Bibliometrics on Google Scholar
External positions
Postdoc, Radboud University
1 Oct 2005 → 28 Feb 2007
PhD Student, Eindhoven University of Technology
15 Jun 2001 → 15 Jun 2005
Teaching and Research Assistant, SS Cyril and Methodius University in Skopje
1 Oct 1995 → 14 Jun 2001
Collaborations and top research areas from the last five years
Projects
- 4 Finished
-
Informatik-Online: "CS-Unplugged" für Online-Lehre
Sokolova, A. (Principal Investigator)
1/06/20 → 30/09/20
Project: Research
-
Sommerpraktika 2015 des Software Systems Center - Teil Sokolova
Sokolova, A. (Principal Investigator)
1/06/15 → 30/09/15
Project: Research
-
Rigorous Systems Engineering - 2. Förderungsperiode
Kirsch, C. (Principal Investigator) & Sokolova, A. (Co-Investigator)
1/03/15 → 31/08/19
Project: Research
-
LEGO-CPT: Compositionality in Coalgebraic Process Theory
Sokolova, A. (Principal Investigator)
1/03/09 → 28/02/13
Project: Research
-
Cancellative Convex Semilattices
Sokolova, A. & Woracek, H., Jun 2025, 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025). LIPIcs Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 342. 15 p.Research output: Chapter in Book/Report/Conference proceeding/Legal commentary › Conference contribution › peer-review
Open Access -
A Complete Inference System for Probabilistic Infinite Trace Equivalence
Cirstea, C., Moss, L., Noquez, V., Schmid, T., Silva, A. & Sokolova, A., Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, Amsterdam, The Netherlands, February 10-14, 2025. LIPIcs Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 23 p. (LIPIcs; vol. 326).Research output: Chapter in Book/Report/Conference proceeding/Legal commentary › Conference contribution › peer-review
Open Access -
A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case
Bartocci, E., Desharnais, J., Lindner, P. & Sokolova, A., Jan 2025, Principles of Verification (2): Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer Verlag, p. 75-97 23 p. (Lecture Notes in Computer Science; vol. 15261).Research output: Chapter in Book/Report/Conference proceeding/Legal commentary › Chapter in Book › Research › peer-review
Open Access -
Reachability Problems - 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Kovacs, L. (Publisher) & Sokolova, A. (Publisher), 2024, Springer Verlag.Research output: Other contribution › Research
-
Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT)
Kirsch, C., Kocher, D., Sokolova, A., Bloem, R., Spitzer, P., Breu, R., Motschnig, R., Kayali, F. & Plant, C., Oct 2023, In: Zeitschrift für Hochschulentwicklung. 2023, 18Research output: Contribution to journal › Article › peer-review
Open Access
Activities
-
i-Day 2026
Riedl, E. (Organiser), Augsten, N. (Contributor), Schäler, M. (Contributor), Kwitt, R. (Contributor), Trutschnig, W. (Contributor), Welscher, F. (Contributor), Forster, S. (Contributor), Kutil, R. (Contributor), Sokolova, A. (Contributor), Uhl, A. (Contributor), Demir, C. (Contributor), Blumenkranz, A. (Contributor), Oettl, U.-F.-J. (Contributor), Simos, D. (Contributor), Steinbacher, E.-M. (Contributor), Schmitt, D. U. (Contributor), Lankes, M. (Contributor), Collini-Nocker, B. (Contributor), Hörmann, C. (Contributor), Garn, B. (Contributor), Kocher, D. (Contributor), Sieberer, J. (Contributor) & Löhnert, B. (Contributor)
5 Feb 2026Activity: Participating in or organising an event › Organising an event
-
Alex Simpson
Sokolova, A. (Host)
20 Oct 2025 → 24 Oct 2025Activity: Hosting a visitor › Hosting an academic visitor
-
Semantics for Probabilistic Systems: From Bisimilarity to Epsilon-Bisimilarity, Coalgebraically
Sokolova, A. (Keynote speaker)
23 May 2025Activity: Talk or presentation › Oral presentation › science to science / art to art
-
i-Day 2025: Tag der offenen Tür an den Fachbereichen Informatik und Artificial Intelligence and Human Interfaces
Augsten, N. (Contributor), Hagenauer, H. (Contributor), Trutschnig, W. (Contributor), Kwitt, R. (Contributor), Kutil, R. (Contributor), Kirsch, C. (Contributor), Uhl, A. (Contributor), Forster, S. (Contributor), Kubesch, M. (Contributor), Wallner, V. (Contributor), Mehran, N. (Contributor), Sokolova, A. (Contributor), Hirländer, S. (Contributor), Leschke, N. C. (Contributor), Widmoser, M. (Contributor), Schmitt, D. U. (Contributor), Löhnert, B. (Contributor), Lankes, M. (Contributor), Collini-Nocker, B. (Contributor), Skarlatos, A. (Contributor), Mayer, H. (Contributor), Kocher, D. (Contributor) & Thiele, L. M. (Contributor)
6 Feb 2025Activity: Participating in or organising an event › Contribution to an event
-
NanoLM - How to make a tiny (large) language model
Sokolova, A. (Speaker)
2025Activity: Talk or presentation › Oral presentation › science to public / art to public