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, 1979-1981

· Research Associate, Systemisot, Sofia, 1981-1986

· University of California, LA, guest, 1991-1993

· 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 1999-2007   

· Co-chair 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 Pan-Hellenic Logic Symposium, Patra, 2009;

· Member of the Program committee of LC2010, Paris;

· Co-chair 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