CURRICULUM VITAE

Angel Vasilev Dichev

1 EDUCATION

1984 PhD	Sofia University, Faculty of Mathematics & Comp. Sci.,
	Department of Mathematical Logic
1978 M.Sc.	Sofia University, Faculty of Mathematics & Comp. Sci.,
	Department of Mathematical Logic
1976 B.Sc.	Sofia University, Faculty of Mathematics & Comp. Sci.

2 WORK EXPERIENCE

1993 -- present	Associate Professor, Faculty of Mathematics & Comp. Sci.
1988 -- 1993	General Assistant-Professor, same division
1984 -- 1987	General Assistant Professor, High Pedagogical
	Institute of Shumen, Department of Natural Sciences
1980 -- 1984	Senior Assistant Professor, same division
1978 -- 1980	Assistant Professor

3 TEACHING EXPERIENCE

Calculus I, II, III
Calculus
Discrete Math
Linear Algebra and Geometry
Differential Equations
Mathematical Foundations of Computer Science
Mathematical Logic
Mathematical Logic II
Mathematical Logic and Foundations of Mathematics
Set Theory
Complexity Theory
Theoretical Foundations of Programming
Logical Foundations of Informatics
Semantics of Programming Languages
Theory of Recursive Functions
Computable Functions
Lebesgue integral
Lambda Calculus

4 MAJOR RESEARCH INTERESTS

Abstract Data Types and Recursive Models
Effective computation
Recursion Theory
Degrees of Unsolvability

5 VISITING

Jan.-Feb. 1985	Visiting Fellow, University Of Novosibirsk,
	Department of Algebra and Logic, Novosibirsk, USSR
June, 1986	Visiting Fellow, Institute of Mathematics,
	Department of Computer Science, Debrecen, Hungary
Jan.-March, 1992	Visiting Fellow, Maximilian University of
	Department of Computer Sci.,
	Laboratory for Logic and Language, Munich, Germany

6 LANGUAGES

English
Russian
Bulgarian (native)

7 PROFESSIONAL ACTIVITIES AND RECOGNITIONS

Chairman of Laboratory of Logic and Applied Mathematic, Sofia University, Faculty of Mathematics & Computer Science
Chairman of Theoretical Programming Track, Faculty of Mathematics & Computer Science
Chairman of Logic Colloquium, Sofia University, Faculty of Mathematics & Computer Science
Member of the Program Committee of the Summer School: Mathematical Logic and its Applications

8 HONORS AND AWARDS

1971, 1972: First prize awarded by the Regional Council for High-School Math Contests
1974: First prize awarded by the National Council for Youth Scientific and Technical Innovations
1976: Scholarship for outstanding students, Sofia University

This document was translated from L^AT_EX by H^EV^EA.