Научни интереси
Аз съм учен в областта на Теория на Изчислимостта. Интересувам се от всички области на теория на изчислимостта, ефективната математика и изобщо логиката. Централно място в моите изследвания заемата номерационната сводимост и номерационните степени. Особено ме привличат въпроси и резултати свързани с определимост от първи ред.
Предишна работа
2008-2017 | Доцент |
Катедра по математическа логика и приложенията ѝ | |
Факултет по математика и информатика | |
Софийски университет |
2012-2014 | Гост Учен |
Факултет по математика | |
Университет на Калифорния в Бъркли |
2005-2008 | Мария Кюри стипендиант |
Група по логика | |
Факултет по математика | |
Университет на Лийдс |
Организаторска дейност
От 2009: | Ръководен комитет на серията конференции Работна среща по теория на изчислимостта. |
От 2012: | Ръководен комитет на серията конференции Изчислимост в Европа. |
От 2016: | CiE Специална група Жените в изчислимостта. |
Редакторска дейност
Член на редакторския колектив на научното списание Transactions of the American Mathematical Society от 2020. |
Член на редакторския колектив на научното списание Archive for Mathematical Logic 2018-2023. |
Член на редакторския колектив на научното списание Mathematical Logic Quarterly. |
The Incomputable: Journeys Beyond the Turing Barrier, Springer International Publishing AG, ISBN 978-3-319-43667-8 (2017). |
Lecture Notes in Computer Science 9136, “Evolving Computability”, 11th Conference on Computability in Europe Proceedings, Springer (2015). |
Collected works of Ivan Soskov, Sofia University Press (2014). Моля пишете ми ако искате копие на книгата. Разгледайте корицата . |
Journal of Logic Computation 23(6) , Special Issue: The Incomputable, an Isaac Newton Institute Workshop, S. Barry Cooper and Mariya I. Soskova, guest eds (2013). |
Образование
2008 | Доктор по математика, Университет на Лийдс под ръководството на проф. С. Бари Купър. |
2005 | Магистър, специалност математика, Софийски университет, програма "Логика и алгоритми". |
2004 | Бакалавър, специалност по информатика, Софийкси университет, Факултет по математика и информатика. |