Hovhannes R. Bolibekyan
Biography
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

Hovhannes R. Bolibekyan

Associate Professor | Faculty of Informatics and Applied Mathematics - Chair of Discrete Mathematics and Theoretical Informatics
 
 

Book

A. A. Chubaryan, H. R. Bolibekyan, H. Movsisyan

Ալգորիթմների տեսության խնդիրների ժողովածու | Ուսումնական ձեոնարկ, ԵՊՀ հրատարակչություն, Երևան-2008 և http:users.freenet.am/~bolibek

Болибекян О., Чубарян А.

О минимальных секвенциальных исчислениях арифметики Робинсона | Ученые записки ЕГУ, 3, 2002, 20 – 22
 

Article

H. R. Bolibekyan, A. R. Baghdasaryan

On Some Systems of Propositional Minimal Logic with Loop Detection | ՀՀ ԳԱԱ զեկույցներ, 2019, 119, N2, էջ 110-115 |

A. A. Chubaryan, H. R. Bolibekyan

On the Rabin’s speed-up of proofs for some systems of first order logic (Առաջին կարգի տրամաբանության որոշ համակարգերում արտածումների Ռաբինի արագացման մասին) | ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2010, #1, էջ 61–63 |

H. Bolibekyan, Chubaryan An., Chubaryan Arm.

On the most generalized speed-up in first order logic | Proceedings of the Logic Colloquium 2005, Athens (and the Bulletin of Symbolic Logic, v. 12, No. 2, 2006), p. 59 (p. 328)

H. Bolibekyan, Chubaryan A.

On some proof systems for I. Johansson’s minimal logic of predicates | Proceedings of the Logic Colloquium 2003, Helsinki (and the Bulletin of Symbolic Logic, v. 10, No. 2, 2004), p. 56 (p.250)

A. A. Chubaryan, H. R. Bolibekyan

О секвенциальных системах слабых арифметик | ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218
1   2   3  |  See all
 

Thesis

Anahit A. Chubaryan, , Hovhannes R. Bolibekyan

On the most generalized speed-up in first order logic | Logic-Colloquium 2005 ESM, ASL, Athens, 59, and the Bulletin of Symbolic Logic, v. 12, N 2, June, 2006, 328

Anahit A. Chubaryan, Hovhannes R. Bolibekyan

On some proof systems for I. Johansson's minimal logic of predicates | Logic Colloquium 2003, Helsinki, Finland, Aug. 14-20, Abstracts, and Bulletin of Symb. Logic, v.10, N2, 2004, 31