Education
Yerevan State University, Department of Informatics and Applied Mathematics: 1994 - 1999
Yerevan State University, Department of Informatics and Applied Mathematics, postgraduate school: 1999 - 2002

Academic degree
Candidate - “Formal Calculi and Axiomatic Systems in Nonclassical Logics”, 2002, Institute for Problems of Informatics and Automation of the National Academy of Sciences of Armenia

Professional experience
Yerevan State University, Department of Informatics and Applied Mathematics, junior research assistant (October 2002 - October 2003)
Yerevan State University, Department of Informatics and Applied Mathematics, instructor (February 2003 - July 2003)
Yerevan State University, Department of Informatics and Applied Mathematics, assistant (October 2003 - Up to now)

Academic courses
Theory of algorithms (undergraduate course), mathematical logic (undergraduate course), automated theorem proving (postgraduate course)

Scale of professional interests
Mathematical logic: proof theory, model theory, automated theorem proving.
Theory of algorithms, complexity theory

Participation in grant projects
Research of some proof complexities (Research grant of the Ministry of Education and Science, 2002 - 2005)
Research of some proof complexities (Research grant of the Ministry of Education and Science, 2008 - present)

Languages
Armenian - native, Russian and English - fluent, French - basic knowledge

Professional membership
Member of the Association for Automated Reasoning

bolibekhov@ysu.am