March 29-31, 2016

Faculty of Mathematics and Mechanics of the YSU

Current position

Associate Prof., Faculty of Informatics and Applied Mathematics Yerevan State University

Work Address

A. Manoogian str.1, 375025, Yerevan, Armenia

Birthday

10 October, 1946

Tel

(+374 10) 227 - 469

- Mathematical logic
- Proof Complexity
- Theory of recursive functions
- Calculations complexity
- Combinatoric analysis

Education and Degrees

University/Institute:

Graduate: Faculty of Mathematics, Yerevan State University

1964 to 1969

University/Institute:

Post Graduate: Yerevan State University

1969 to 1972

University/Institute:

Information Center of AN USSR, Moscow

1974 to 1978

Degree:

Ph. D:

Dissertation: On the complexity of proofs in several Logical Systems

Memberships

Association for Symbolic Logic (ASL)

Armenian Mathematical Union (AMU)

Teaching Experience

Mathematical logic

Theory of recursive functions,

Discrete mathematic,

Theory of calculations complexity,

Theory of proofs complexity

Visits

Nov 17-Dec 7, 1982; Sep 26 - Oct 13, 1985 Visiting Scholar, Department of Mathematics, Karls University, Prague, Czechya.

Participation in Conferences

All-Union Conference on the Mathematical Logic (III, Novosibirsk, Russia, 1974; IX, St.-Petersburg, Russia, 1988; X, Alma -Ata, Kazakhstan, 1990).

All-Union symposium on the theory of the logic proof (Moscow, Russia, 1974).

CSIT (Yerevan, Armenia, 1997, 1999, 2001).

Logic-Colloquiums (Vienna, Austria, 2001, Muenster, Germany, 2002).

II Chekhoslovatsko- Soviet seminar of the young scientists ? (Bratislava, Czechoslovakia, 1982).