Александра Андреева Соскова

Александра Андреева Соскова

Доцент
Доктор
Имейл: 
asoskova@fmi.uni-sofia.bg
Телефон: 
+359 2 8161 524
Кабинет: 
ФзФ-03
Приемно време: 
понеделник  15-16к. 03 ФзФ
четвъртък    12-13к. 03 ФзФ

Образование и научни степени

  • 1974 - 1979: Магистър по математическа логика, Факултет по математика и информатика,  СУ "Св. Климент Охридски"
  • 1986 - 1989: Доктор, Факултет по математика и информатика,  СУ "Св. Климент Охридски"

Научни интереси

  • Теория на рекурсията
  • Номерационни степени
  • Спектри от структури
  • Изчислимост в абстрактни структури
  • Теоретична информатика

Научни проекти

  • Договор 92/2006 с ФНИ към СУ на тема "Равномерна Сводимост"
  • Договор 95/2007 с ФНИ към СУ на тема "Равномерна Сводимост"
  • Д002-258/18.12.08 с НФНИ "Изчислимост с частична информация"

Преподавателска дейност

Летен семестър 2007 - 2008

  • Логическо програмиране, спец. информатика, задължителен,  задочно, хорариум 30
  • Семантика на езиците за програмиране, спец. информатика, задължителен, хорариум 2+2
  • Езици, автомати и изчислимост, спец. компютърни науки, задължителен, хорариум 3+2
  • Теория на рекурсията, маг. програма "Логика и алгоритми", 3+2
  • Теория на моделите, маг. програма "Логика и алгоритми" 3+2

Списък с публикации

  1. Computability on many-sorted partial structures, Compt. rend. de l'Acad. bulg.Sci. 43 (1990), 9-11.
  2. Effective abstract structures, Compt. rend.de l'Acad. bulg. Sci. 43 (1990), 5-8.
  3. An external aproach to Abstract Data Types I:Computability on ADT, Ann. Univ. Sofia 87 (1993) , 47 - 59.
  4. Effective structures, Mathematical LogicQuarterly 43 (1997), 235-250.
  5. Cospectra of joint spectra of a sequence ofstructures, 4th Panhellenic Logic Symposium (Thessaloniki, Greece),2003, 175-179.
  6. with I. N.Soskov, Effective enumerations ofabstract structures, Heyting'88 (New York) (P. Petkov, ed.), Plenum Press, 1990,pp.361--372.
  7. with I. N. Soskov, Admissibility in\Sigma^0_n enumerations, Ann. Univ. Sofia , 90, 1999, 77 - 90.
  8. with St. K. Nikolova, Programming theory inproblems, SofTeX, Sofia 1997.
  9. with I. N. Soskov, Cospectra of joint spectraof structures, Ann. Sofia Univ, Fac. Math and Inf., 96, 2003, 35-44.
  10. Minimal Pairs andQuasi-minimal degrees for the Joint Spectra of Structures. New Computational Pradigms(S. B. Cooper; B. Loewe, eds.) Lecture Notes in Comp. Sci , 3526, 2005,  Springer-Verlag, 451--460.
  11. Properties of the Joint Spectra ofsequence of structures, PLS5, Athens,2005
  12. Minimal Pairs and Quasi-Minimal degrees forJoint Spectra, LC2005, Athens.
  13. Kliment lecture ,2005 ,Computability andDegree Spectra of Structures.
  14. Properties ofCo-spectra of joint spectra of structures. Ann. Sofia Univ., Fac. Math. and Inf. , 97,  2005, 15--32.
  15. RelativizedDeggree Spectra. Logical Approaches to Computational barriers (A. Beckmann; U.Berger;  B. Loewe; J. Tucker eds.),CiE2006, Swansea,Lecture Notes in Comp. Sci ,  3988, 2006,Springer-Verlag, 546--555.
  16. Degree Spectra ofStructures. Leeds Logic Seminar, July, 2006.
  17. RelativizedDeggree Spectra,  LC2006, July,  Nijemegen.
  18. Relativized Degree Spectra, Journal of Logic and Computation, 17, 2007, Oxford Journals, 1215-1233
  19. A Jump Inversion Theorem for the Degree Spectra, CiE 2007, S.B. Cooper, B. L¨owe, and A. Sorbi (Eds.), LNCS 4497, 2007, Springer-Verlag, 716–726
  20. with I. N. Soskov, Jump spectra of abstract structures, PLS6, Volos,2007
  21. Omega-Degree Spectra, Logic and Theory of Algorithms, CiE 2008, Athens, A Beckmann, C Dimitracopoulos, B Löwe  (Eds.),  LNCS,  5028, 2008, Springer-Verlag
  22. with St. K.  Nikolova,  Semantics of the programming languages, Softex, 2008
  23. with I. N. Soskov, Some applications of the Jump Inversion theorem, Proceedings of the 7th Panhellenic Logic Symposium,   C. Drossos, P. Peppas, C. Tsinakis, (Eds.) 2009, 157-161
  24. with I. N. Soskov, A jump inversion theorem for the degree spectra, Journal of Logic and Computation, vol. 9 , 2009, 199-215
  25. with I.N. Soskov, Effective reducibilities and Degree spectra of Abstract structures, Proceedins of First International İstanbul Graduate Summer School in Logic  Modal logic and Its Applications, 2011, ILLC publications accepted
  26. with I. N. Soskov, Enumeration Degree Spectra of Abstract  Structures, ТProceedings of the Conference "120 years FMI, SU", R. Levy (Eds), 2012
  27. with I. N. Soskov, Quasi-minimal degrees for degree spectra, Journal of Logic and Computation, 2013, 23 (6) doi: 10.1093/logcom/ext045, 1319-1334

Персонални страници