Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
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
2002 – 2010, Yerevan State University, Department of Informatics and Applied Mathematics, Chair of Methods of Algebra and Logic in Computer Science (currently renamed to Discrete Mathematics and Theoretical Informatics), Assistant Professor
2010 – Up to Now, Yerevan State University, Department of Informatics and Applied Mathematics, Chair of Discrete Mathematics and Theoretical Informatics, Associate Professor

Academic courses
Mathematical Logic, Theory of Algorithms, Automated Theorem Proving, Proof Theory in Nonclassical Logics, Formal Methods in Software Engineering

Scale of professional interests
Proof Theory, Logic in Computer Science, Proof Complexity, Formal Verification

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

Bolibekyan H.R. , Baghdasaryan A.R.
On the Minimal Fragment of S5 Modal Logic
2021 | Article
Reports of the NAN RA, 2021, pp. 7-12.
Bolibekyan H. , Baghdasaryan A.
On Neural Network Based Automated Theorem Prover for Minimal Logic
2020 | Article
Proceedings of “Tribute to Kurt Godel 2020” International Conference, Brno, Czech Republic, 2020, pp.15-16.
H. R. Bolibekyan , A. R. Baghdasaryan
On Some Systems of Propositional Minimal Logic with Loop Detection
2019 | Article
ՀՀ ԳԱԱ զեկույցներ, 2019, 119, N2, էջ 110-115
|
Bolibekyan H. , Movsisyan V.
Error Determination from Logs
2019 | Patent
January 22, 2019, United States Patent #10185613.
Bolibekyan H. , Baghdasaryan A.
On Some Systems of Minimal Propositional Logic with History Mechanism
2018 | Article
Proceedings of the Logic Colloquium 2017, Stockholm, p.80 (and the Bulletin of Symbolic Logic, v. 24, No. 2, 2018, p.250).
On the Compactness Theorem in Many Valued Logics
2014 | Article
Proceedings of the Logic Colloquium 2014, Vienna, p.38.
On some systems of minimal propositional logic with loop detection mechanisms
2012 | Article
Mathematical Problems of Computer Science, XXXVIII, Yerevan, 2012, pp. 42-44.
Bolibekyan H.R. , Zaslavsky I.D.
On some kinds of constructive fuzzy logics
2012 | Article
Mathematical Problems of Computer Science, XXXVI, Yerevan, 2012, pp. 91-98.
Bolibekyan H. , Muradyan T.
On some loop detection strategies for minimal propositional logic
2011 | Article
Proceedings of the Logic Colloquium 2011, Barcelona, pp. 45-46.
Bolibekyan H.R. , Zaslavsky I.D.
On the Relation Between two Systems of Fuzzy Intuitionistic Logic
2010 | Article
Proceedings of the Logic Colloquium 2010, Paris, p. 4
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. 6с.– N 33 – Ар02
Трехзначные исчисления предикатов с символом неопределенности (Եռարժեք պրեդիկատային հաշիվներ անորոշության նշանով)
2002 | Article
ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2002, #2, էջ 44-50 (ռուսերեն)
|
О секвенциальных системах слабых арифметик
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