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) |