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

Head of Chair | Chair of Programming and Information Technologies
Education
1966 - 1971: Faculty of Mechanics and Mathematics, YSU
1971 - 1974: Post-Graduate Courses, Faculty of Applied Mathematics, YSU

Academic degree
Candidate of Science (in Mathematics), “Compactness and Partial Solvability of the Non-inclusion Relation for some Classes of Program Schemas”, 4 of December 1980, Computer Center of Academy of Sciences of the USSR, Moscow, USSR.
Doctor of Science (in Mathematics), “Functional and Logical Programming Languages (Formalization, Analysis, Interpretation)”, 24 of October 1997, M.V. Lomonosov Moscow State University, Moscow, Russia.

Professional experience
2007 - present: Head of Chair of Programming and Information Technologies, Faculty of Informatics and Applied Mathematics, Yerevan State University (YSU)
2001 - 2007: Head of Chair of System Programming, Faculty of Informatics and Applied Mathematics, YSU
2000 - 2001: Professor of Chair of Algorithmic Languages, Faculty of Informatics and Applied Mathematics, YSU
1992 - 2000: Docent of Chair of Algorithmic Languages, Faculty of Informatics and Applied Mathematics, YSU
1991 - 1992: Head of Chair of Algorithmic Languages, Faculty of Informatics and Applied Mathematics, YSU
1982 - 1990: Docent of Chair of Computer Software, Faculty of Applied Mathematics, YSU
1975 - 1982: Assistant of Chair of Computer Software, Faculty of Applied Mathematics, YSU
October 1997, March - April 1997: M.V. Lomonosov Moscow State University, Moscow, Russia
September - 1990: Eötvös Lorant University, Budapest, Hungary
February - May 1985, September - December 1980: M.V. Lomonosov Moscow State University, Moscow, USSR

Academic courses
Translation Theory, Functional Programming Systems, Semantics of Programming Languages, Foundations of Logic Programming

Scale of professional interests
Programming Languages and Systems, Functional Programming and Lambda Calculus, Logic Programming, Mathematical Models of Computation
Participation in grant projects (present and past) Grants of Government of Armenia: 94-719, 2000 - 13, 0828, 0119, 1027

Languages
Armenian, Russiаn, English

Professional membership
Mathematical Society of Armenia
Professional council 044 “Mathematical Cybernetics and Mathematical Logic”
Editorial staff of scientific journal “Proceedings of the Yerevan State University, Physical and Mathematical Sciences”, Yerevan State University Press

nigiyan@ysu.am

S. A. Nigiyan , T. V. Khondkaryan
On translation of typed functional programs into untyped functional programs (Տիպիզացված ֆունկցիոնալ ծրագրերի թարգմանությունը առանց տիպերի ֆունկցիոնալ ծրագրերի)
2017 | Article
ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2017, հ. 51, #2, էջ 177-186
|
S. A. Nigiyan , T. V. Khondkaryan
On canonical notion of δ-reduction and on translation of typed λ-terms into untyped λ-terms (δ-Ռեդուկցիայի կանոնական գաղափարը և տիպիզացված λ-թերմերի թարգմանությունն առանց տիպերի λ-թերմերի)
2017 | Article
ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2017, հ. 51, #1, էջ 46–52
|
On λ-definability of arithmetical functions with indeterminate values of arguments (Արգումենտների անորոշ արժեքներով թվաբանական ֆունկցիաների λ-որոշելիության մասին)
2016 | Article
ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2016, #2, 39-47
|
On non-classical theory of computability (Ոչ դասական հաշվարկելիության տեսության մասին)
2015 | Article
ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2015, #1, էջ 52-60
|
On Logical Interpretation of Procedural Programming
2007 | Article
Reports, National Academy of Sciences of Armenia, Vol.107, N1, 2007, p.20-25 (in Russian)
On Procedural Semantics of Untyped Functional Progrаms
2007 | Article
Proceedings of the International Conference CSIT-07, Yerevan, 2007, p. 60-62
Praxis of the Course of Translation Theory
2007 | Article
Yerevan, YSU, 2007, 76p. (in Armenian)
Procedural Programming Languages from the Logical Standpoint
2007 | Article
Proceedings of the RAU Conference, Yerevan, 2007, p. 138-144 (in Russian)
Functional Programming Systems
2006 | Article
Yerevan, YSU, 2006, 60 p. (in Armenian)
On Interpretation Algorithms of Untyped Functional Programs
2006 | Article
Vestnik RAU, N2 - Yerevan, RAU, 2006, p.77-84 (in Russian)
Nigiyan S.A. , Hambardzumyan A.M.
On Interpreters of Logic Programming Systems
2005 | Article
Transactions of IIAP of NAS RA: Mathematical Problems of Computer Science, Vol.24, 2005, p.34-41
Nigiyan S.A. , Hambardzumyan A.M.
On Totally Solvable and Totally Complete Interpreters for Logic Programming Systems
2005 | Article
Proceedings of the International Conference CSIT-05, Yerevan, 2005, p. 105-108
On Negation in Logic Programming
2005 | Article
Proceedings of the International Conference CSIT-05, Yerevan, 2005, p.109-112
Optimization of Logical Programming Systems by Transformation of their Programs
2004 | Article
Reports, National Academy of Sciences of Armenia, Vol. 104, N1, 2004, p. 12-17 (in Russian)
On Yerevan School of Programming
2003 | Article
In: History of Computer Science in Russia: Scientists and their Schools. Moscow, Nauka Publ., 2003
Nigiyan S.A. , Hakobyan V.R.
On Optimization of Logical Programming Systems
2003 | Article
Proceedings of the International Conference CSIT-03, Yerevan, 2003, p. 39-41
Semantics of Untyped Functional Programs
2002 | Article
Programming and Computer Software, Vol.28, N3, 2002, p. 119-126
On Fixpoint and Procedural Semantics of Untyped Functional Programming Languages
2001 | Article
Proceedings of the International Conference CSIT-01, Yerevan, 2001, p.121-124
On Solutions of Recursive Equations with Separated Variables in Untyped Lambda Calculus
2001 | Article
Reports, National Academy of Sciences of Armenia, Vol. 101, N1, 2001, p.12-19 (in Russian)
On Equation Systems in Monotonic Models of Typed l-Calculus
2001 | Article
Algebra, Geometry & Their Applications, YSU, Vol.1, 2001, p.11-19
On A-equivalence of Logic Programs
1999 | Article
Reports, National Academy of Sciences of Armenia, Vol. 99, N2, 1999, p. 99-103 (in Russian)
Interpretation and Transformations of Logic Programs. Theory and Applications
1999 | Article
Proceedings of the International Conference CSIT-99, Yerevan, 1999, p.30-32
Transformations of Logic Programs
1997 | Article
Programming and Computer Software, Vol.23, N6, 1997, p. 302-309
Interpretation and Transformations of Logic Programs
1996 | Article
Reports, National Academy of Sciences of Armenia, Vol. 96, N2-4, 1996, p. 32-37 (in Russian)