Projects per year
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 Nijmegen
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
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
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
-
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 -
Introduction to the special issue for SPIN 2021
Laarman, A. & Sokolova, A., 25 Feb 2023, Int. Journal on Software Tools for Technology Transfer (STTT).Research output: Other contribution › Communication
Open Access -
Preface to the special issue on Open Problems in Concurrency Theory
Castellani, I., D'Argenio, P., Mousavi, M. R. & Sokolova, A., Jan 2023, Journal of Logical and Algebraic Methods in Programming (JLAMP).Research output: Other contribution › Communication
-
Report on women in logic 2020 & 2021
Alves, S., Kiefer, S. & Sokolova, A., 2022, In: ACM SIGLOG News. 9, 2, p. 31-33 3 p.Research output: Contribution to journal › Article › peer-review
-
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Sokolova, A., Bonchi, F. & Vignudelli, V., 2022, In: Logical Methods in Computer Science. 2022, 18(2), 67 p.Research output: Contribution to journal › Article › peer-review
Open Access
Activities
-
FAU Erlangen-Nürnberg Informatik
Sokolova, A. (Visiting researcher)
24 Oct 2023 → 27 Oct 2023Activity: Research stay › Research Stay › on-site
-
The 12th IFIP WG 1.8 Workshop on Trends in Concurrency Theory
D'Argenio, P. (Organiser) & Sokolova, A. (Organiser)
23 Sept 2023Activity: Participating in or organising an event › Organising an event
-
Simple Coalgebraic Traces
Sokolova, A. (Speaker)
28 Jun 2023Activity: Talk or presentation › Oral presentation › science to science / art to art
-
Open Problems in Concurrency Theory
Bernardo, M. (Organiser), D'Argenio, P. (Organiser) & Sokolova, A. (Organiser)
26 Jun 2023 → 30 Jun 2023Activity: Participating in or organising an event › Organising an event
-
Traces
Sokolova, A. (Speaker)
30 May 2023Activity: Talk or presentation › Oral presentation › science to science / art to art