Curriculum Vita of  Ivan N. Soskov

 
 

 Education and Scientific Degrees

 

· Dr. Habil., obtained in 2001.

· Department of Mathematics and Mechanics, Sofia University, 1980 —1983, Ph. D. in Mathematics.

· Department of Mathematics and Mechanics, Sofia University, 1974 — 1979, Master of science in Mathematical Logic.

 

 

Professional career

· Professor, Faculty of Mathematics and Comp. Sci, Sofia Univ., 2004 —

· Associate Professor, Faculty of Mathematics and Comp. Sci, Sofia Univ., 1991 —2004

· Adjunct Assistant Professor, Program in Computing, University of California, LA, 1991—1993

· Assistant Professor, Faculty of Mathematics and Comp. Sci, Sofia Univ., 1989 — 1991.

· Assistant Professor, Laboratory of Applied Logic, Sofia Univ., 1987 —1989.

· Assistant Professor,  Computing Laboratory, Sofia Univ., 1983 —1987.

.

 

Areas of research interests

· Enumeration Degrees

· Abstract Computability Theory.

· Mathematical Logic.

· Theoretical Computer Science.

 
 

 Teaching Activities

· Mathematical Logic: Recursion Theory, Computability on Abstract Structures.

· Theoretical Comp. Science: Semantics of programming languages,  Complexity theory, Foundations of Logic programming, Automata on infinite objects.

· Computing: Pascal, C, C++, Data Structures, Logic Programming.

 

 

 Other Activities

· Dean of the Faculty of Mathematics and Computer Science, Sofia University, 2007 —

· Chairman of the Master of Science program in Logic and Algorithms, Sofia University, 2002 —2007

· Chairman of the Department of Mathematical logic and its applications, Sofia University, 2000 —2007

· Chairman of the Master of Science program in Theoretical Comp. Sci, Faculty of Mathematics and Comp. Sci, Sofia University 1995 —2000.

   

Invited Lectures: Special Session in Recursion Theory LC’02(Muenster 2002);  Fourth Pan-Hellenic Logic Symposium’03 (Thessaloniki); Pioneers of Bulgarian Mathematics’06 (Sofia): WCT’2009 (Sofia); Mal’cev’s Meeting’2009 (Novosibirsk).

 

Program Committees: Fifth PLS (Athens, 2005); CiE’05 (Amsterdam); CiE’06 (Swansea); Sixth PLS (Volos 2007); CiE’07 (Siena); CiE’08 (Athens), CiE’09(Heidelberg), LC’09(Sofia), CiE’11(Sofia)