Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>
Hovhannes R. Bolibekyan

Associate Professor | Chair of Discrete Mathematics and Theoretical Informatics
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

On the Rabin’s speed-up of proofs for some systems of first order logic (Առաջին կարգի տրամաբանության որոշ համակարգերում արտածումների Ռաբինի արագացման մասին)
2010 | Article
ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2010, #1, էջ 61–63
|
Ալգորիթմների տեսության խնդիրների ժողովածու
2008 | Book
Ուսումնական ձեոնարկ, ԵՊՀ հրատարակչություն, Երևան-2008 և http:users.freenet.am/~bolibek
On the most generalized speed-up in first order logic
2006 | Article
Proceedings of the Logic Colloquium 2005, Athens (and the Bulletin of Symbolic Logic, v. 12, No. 2, 2006), p. 59 (p. 328)
On the most generalized speed-up in first order logic
2006 | Thesis
Logic-Colloquium 2005 ESM, ASL, Athens, 59, and the Bulletin of Symbolic Logic, v. 12, N 2, June, 2006, 328
On some proof systems for I. Johansson’s minimal logic of predicates
2004 | Article
Proceedings of the Logic Colloquium 2003, Helsinki (and the Bulletin of Symbolic Logic, v. 10, No. 2, 2004), p. 56 (p.250)
On some proof systems for I. Johansson's minimal logic of predicates
2004 | Thesis
Logic Colloquium 2003, Helsinki, Finland, Aug. 14-20, Abstracts, and Bulletin of Symb. Logic, v.10, N2, 2004, 31
О секвенциальных системах слабых арифметик
2002 | Article
ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218
Ռոբինսոնի թվաբանության մինիմալ սեկվենցիալ հաշիվների մասին (О минимальных секвенциальных исчислениях арифметики Робинсона)
2002 | Article
ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2002, #3, էջ 20-22 (ռուսերեն)
|
Եռարժեք պրեդիկատային հաշիվներ անորոշության նշանով (Трехзначные исчисления предикатов с символом неопределенности)
2002 | Article
ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2002, #2, էջ 44-50 (ռուսերեն)
|
О некоторых системах доказательств минимального исчисления предикатов
2002 | Article
АрмНИИНТИ. Ежеквартальный реферативный сборник. – 2002. 6с.– N 33 – Ар02
О секвенциальных системах слабых арифметик
2002 | Article
ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218
О минимальных секвенциальных исчислениях арифметики Робинсона
2002 | Book
Ученые записки ЕГУ, 3, 2002, 20 – 22
Теорема компактности для многозначных логик
2002 | Article
Препринт ИПИА НАН РА и ЕГУ, N 02–001, 2002, 1 –16
Արտածումների որոշ բարդությունների հետազոտում
2000 | Article
Երիտասարդ գիտնականների հոդվածների հոբելյանական ժողովածու, ԵՊՀ, 2000, էջ 16-20
Արտածումների որոշ բարդությունների հետազոտում
2000 | Article
Երիտասարդ գիտնականների հոդվածների ժողովածու, Եր., 2000, 2, 16 – 21