1990 May	PhD in Mathematics, Mathematical Logic, Sofia University
1979	MS in Mathematical Logic, Faculty of Mathematics and Mechanics, Sofia University
1978	BS in Mathematics, Faculty of Mathematics and Mechanics, Sofia University

2020- present	Full Professor
	Department of Mathematical Logic and its Applications
	Faculty of Mathematics and Informatics
	Sofia university
2005-2020	Associate Professor, Faculty of Mathematics and Informatics, Sofia University
1993-2005	Assistant Professor, Faculty of Mathematics and Informatics, Sofia University
1991-1993	Guest, UCLA, USA.
1990-1991	Research fellow, Sofia University.
1979-1986	Research fellow, Systemizot, Sofia.

1999-2007	Member of the Academic Council, Sofia University
1999-present	Member of the Academic Council of Faculty of Mathematics and Informatics, Sofia University
2008-2016	Head of the Department of Mathematical Logic and its Applications
	Faculty of Mathematics and Informatics, Sofia University
2015-2016	Vice Dean of Faculty of Mathematics and Informatics, Sofia University
2008-present	Erasmus coordinator for Amsterdam, Siena and Istanbul

2019-2021	Bulgarian National Science Fund, Grant for Bilateral project No. KP-06-Austria-04/06.08.2019, "Effective properties of abstract structures" joint project between Sofia University and Vienna University of Technology. Project leaders: Alexandra Soskova and Ekaterina Fokina
2017-2019	Bulgarian National Science Fund, Grant for Bilateral project No. DNTS/Russia 01/8, 2017, "Algebraic structures and enumeration operators" joint project between Sofia University and Kazan University. Project leaders: Hristo Ganchev and Iskander Kalimullin
2016-2019	US National Science Foundation, Grant DMS-1600625, "Collaboration in Computability" joint between USA, Russia, Kazakhstan and Bulgaria. Project leader: Julia Knight, Notre Dame University
2016-2019	Bulgarian National Science Fund Grant No. DN 02/16 /19.12.2016, "Models of Computability", joint between Sofia University, University of Notre Dame, UC Berkeley, University of Madison, Wisconsin, George Washington University and University of Leeds, Project leader: Hristo Ganchev
2012-2016	US National Science Foundation Grant DMS-1101123 "Collaboration in Computability", joint between USA, Russia, Kazakhstan and Bulgaria. Project leader: Julia Knight, Notre Dame University
2008-2010	Bulgarian National Science Fund Grant No. D002-258/18.12.08, "Computability with Partial Information", joint between Sofia University, University of Leeds and University of Siena. Project leader: Project leader: Ivan Soskov
2008-2011	TEMPUS project SEE Doctoral Studies in Mathematical Sciences 144703-TEMPUS-2008-BA-TEMPUS-JPCR. Coordinator for Sofia University: Alexandra Soskova
2013--2017	Sofia University Science Fund, Grants: 44/2013, 97/2014, 81/2015, 54/2016, 80-10-147/20.04.2017

Graduate courses:	Computability Theory, Model theory
Undergraduate courses:	Mathematical Logic, Logical Programming, Theory of Programs, Semantics of Programming Languages, Discrete Mathematics and Algorithms, Discrete structures 1 and 2, Languages, Automata and Computability, Computability and Complexity, Mathematical Foundations of Computer Science

Supervision:	MS degrees:
2008	Stefan Vatev, Sofia University
2014	Alexander Terziivanov, Sofia University
Supervision:	PhD degrees:
2014	Stefan Vatev, Sofia University

	Member of the Scientific and Program Committees:
2018-present	Chair of the Committee on Membership of Association of Symbolic Logic
2015-2017	Council of Association of Symbolic Logic
2010-2015	Association of Symbolic Logic, Committee of Logic in Europe
2009-2011	Scientific Committee for Panhellenic Logic Symposium
2017	Chair of Scientific Committee for the 11th Panhellenic Logic Symposium 2017, Delphi, Greece
2016	Program Committee of Computability in Europe 2016, Paris
2011	Program Committee of Computability in Europe, 2011, Sofia
2010	Program Committee of Logic Colloquium 2010, Paris
2010	Co-chair of the Special Session "Computability theory" of the Logic Colloquium 2010, Paris
2009	Co-chair of the Special Session "Relative computability" of "Computability in Europe 2009", Heidelberg

	Member of Associations:.
2009-present	Association of Symbolic Logic
2008-present	Association Computability of Europe since its foundation
2011-present	American Mathematical Society

	Organizer of Conferences:
2018	Member of the Organizing Committee of ESSLLI 2018, Sofia
2015	Member of the Organizing Committee of "Workshop on Computability Theory 2015", Bucharest
2011	Chair of the Organizing Committee of Computability in Europe 2011, Sofia
2009	Chair of the Organizing Committee of the Logic Colloquium 2009, Sofia
2009	Member of the Organizing Committee of "Workshop on Computability Theory 2009", Sofia

Proceedings of the 11th Panhellenic Logic Symposium (2017), Delphi, National Technical University of Athens Press Alexandra Soskova, Antony Kakas and Nicolas Papaspyrou eds.

Collected works of Ivan Soskov, Sofia University Press (2014). Alexandra Soskova, Mariya Soskova, Stela Nikolova, Hristo Ganchev eds. .

Advanced Research in Mathematics and Computer Science Doctoral Conference in Mathematics, Informatics and Education (MIE 2014) Proceedings, Sofia University Press, Peter Sloep, Krassen Stefanov, Alexandra Soskova, Ivan Koytchev, Pavel Boytchev, eds. (2014).

Lecture Notes in Computer Science 6735 Models of Computation in Context , CiE 2011,Sofia, Springer-Verlag Berlin Heidelberg, Benedikt Lowe, Dag Normann, Ivan Soskov, Alexandra Soskova guest eds. ( 2011)

Journal of Logic Computation, Volume 22, Issue 4, Computability at Logic Colloquium 2009 Alexandra Soskova S. Barry Cooper Andrea Sorbi guest eds Pages 667 ( 2012)