Persönliches Profil
Forschungsgebiete
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.
Weitere Informationen
Further profiles:
- Publications via dblp
- Bibliometrics on Google Scholar
Externe Posten
Postdoc, Radboud University
1 Okt. 2005 → 28 Feb. 2007
PhD Student, Eindhoven University of Technology
15 Juni 2001 → 15 Juni 2005
Teaching and Research Assistant, SS Cyril and Methodius University in Skopje
1 Okt. 1995 → 14 Juni 2001
Kooperationen
Projekte
- 4 Abgeschlossen
-
Informatik-Online: "CS-Unplugged" für Online-Lehre
Sokolova, A. (Projektleitung)
1/06/20 → 30/09/20
Projekt: Forschung
-
Sommerpraktika 2015 des Software Systems Center - Teil Sokolova
Sokolova, A. (Projektleitung)
1/06/15 → 30/09/15
Projekt: Forschung
-
Rigorous Systems Engineering - 2. Förderungsperiode
Kirsch, C. (Projektleitung) & Sokolova, A. (Projektmitarbeiter/in)
1/03/15 → 31/08/19
Projekt: Forschung
-
LEGO-CPT: Compositionality in Coalgebraic Process Theory
Sokolova, A. (Projektleitung)
1/03/09 → 28/02/13
Projekt: Forschung
Publikationen
-
Cancellative Convex Semilattices
Sokolova, A. & Woracek, H., Juni 2025, 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025). LIPIcs Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 342. 15 S.Publikation: Beitrag in Buch/Bericht/Konferenzband/Gesetzeskommentar › Konferenzbeitrag › Peer-reviewed
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 S. (LIPIcs; Band 326).Publikation: Beitrag in Buch/Bericht/Konferenzband/Gesetzeskommentar › Konferenzbeitrag › Peer-reviewed
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. (Hrsg.). Springer Verlag, S. 75-97 23 S. (Lecture Notes in Computer Science; Band 15261).Publikation: Beitrag in Buch/Bericht/Konferenzband/Gesetzeskommentar › Kapitel in einem Sammelband › Forschung › Peer-reviewed
Open Access -
Reachability Problems - 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Kovacs, L. (Herausgeber/in) & Sokolova, A. (Herausgeber/in), 2024, Springer Verlag.Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung
-
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., Okt. 2023, in: Zeitschrift für Hochschulentwicklung. 2023, 18Publikation: Beitrag in Fachzeitschrift › Artikel › Peer-reviewed
Open Access
Aktivitäten
-
i-Day 2026
Riedl, E. (Organisator/in), Augsten, N. (Mitwirkende/r), Schäler, M. (Mitwirkende/r), Kwitt, R. (Mitwirkende/r), Trutschnig, W. (Mitwirkende/r), Welscher, F. (Mitwirkende/r), Forster, S. (Mitwirkende/r), Kutil, R. (Mitwirkende/r), Sokolova, A. (Mitwirkende/r), Uhl, A. (Mitwirkende/r), Demir, C. (Mitwirkende/r), Blumenkranz, A. (Mitwirkende/r), Oettl, U.-F.-J. (Mitwirkende/r), Simos, D. (Mitwirkende/r), Steinbacher, E.-M. (Mitwirkende/r), Schmitt, D. U. (Mitwirkende/r), Lankes, M. (Mitwirkende/r), Collini-Nocker, B. (Mitwirkende/r), Hörmann, C. (Mitwirkende/r), Garn, B. (Mitwirkende/r), Kocher, D. (Mitwirkende/r), Sieberer, J. (Mitwirkende/r) & Löhnert, B. (Mitwirkende/r)
5 Feb. 2026Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Organisation einer Veranstaltung
-
-
Semantics for Probabilistic Systems: From Bisimilarity to Epsilon-Bisimilarity, Coalgebraically
Sokolova, A. (Keynote speaker)
23 Mai 2025Aktivität: Gastvortrag oder Vortrag › Vortrag › 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. (Mitwirkende/r), Hagenauer, H. (Mitwirkende/r), Trutschnig, W. (Mitwirkende/r), Kwitt, R. (Mitwirkende/r), Kutil, R. (Mitwirkende/r), Kirsch, C. (Mitwirkende/r), Uhl, A. (Mitwirkende/r), Forster, S. (Mitwirkende/r), Kubesch, M. (Mitwirkende/r), Wallner, V. (Mitwirkende/r), Mehran, N. (Mitwirkende/r), Sokolova, A. (Mitwirkende/r), Hirländer, S. (Mitwirkende/r), Leschke, N. C. (Mitwirkende/r), Widmoser, M. (Mitwirkende/r), Schmitt, D. U. (Mitwirkende/r), Löhnert, B. (Mitwirkende/r), Lankes, M. (Mitwirkende/r), Collini-Nocker, B. (Mitwirkende/r), Skarlatos, A. (Mitwirkende/r), Mayer, H. (Mitwirkende/r), Kocher, D. (Mitwirkende/r) & Thiele, L. M. (Mitwirkende/r)
6 Feb. 2025Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung
-
NanoLM - How to make a tiny (large) language model
Sokolova, A. (Redner/in)
2025Aktivität: Gastvortrag oder Vortrag › Vortrag › science to public / art to public