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 PanHellenic 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)
