Education
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
Professional Experience
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.
Administrative Work
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
Grants
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
Teaching Experience
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
Membership and Service
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
Editorial Work
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)
Alexandra