Alexandra A. Soskova
Education
· Faculty of Mathematics and Mechanics, Sofia University, 1974  1979, Master of science in Mathematical Logic.
· Faculty of Mathematics and Informatics, Sofia University, 1986  1989, Ph. D. in Mathematics. Professional career
· Programmer, Computing Plant, Sofia, 19791981 · Research Associate, Systemisot, Sofia, 19811986 · University of California, LA, guest, 19911993 · Assistant Professor, Faculty of Mathematics and Computer Science, Sofia University, 1993 –2005 · Associate Professor, Faculty of Mathematics and Computer Science, Sofia University, 2005  Areas of research interests
· Abstract Computability Theory. · Theoretical Computer Science. · Abstract Data Types · Degree spectra · Enumeration Degrees Teaching Activities
· Theoretical Computer Science: Semantics of programming languages, Program verification, Logic programming, Discrete mathematics and Algorithms, Languages, Computability and Complexity, · Logic: Model theory, Computability theory. · Mathematical Logic: Mathematical Logic, Model Theory, Recursion Theory. Other Activities
· Chairman of the Department of Mathematical logic and its applications, Sofia University, 2007—
· Member of the Academic Council of Sofia University 19992007 · Cochair of the Special Session in Relative Computability, CiE 2009, Heidelberg,
· Chair of the Organizing committee of LC2009, Sofia;
· Member of the Scientific committee of 7th PanHellenic Logic Symposium, Patra, 2009;
· Member of the Program committee of LC2010, Paris;
· Cochair of the Special Session in Computability theory, LC2010, Paris,
· Member of the ASL Council for Europe Chair of the Organizing committee of CiE 2011, Sofia
