Տեղեկատվական տեխնոլոգիաների կրթական եվ հետազոտական կենտրոն
YSU Information Technologies Educational and Research Center
Established in 2007, IT Educational and Research Center (IT ERC) serves as an interdisciplinary hub for educational program. Headed by Prof. Samvel K. Shoukourian:
>
Armen H. Kostanyan

Associate Professor | Chair of Information Systems
Education
1981 - 1984: Post graduate course Faculty of Cybernetics, Kiev State University, Ukraine
1974 - 1979: Graduate course (diploma with honor), Faculty of Applied Mathematics, YSU

Academic degrees
2006: Associate Professor, Specialty: Mathematics Awarded by the resolution of the Academic Council of Yerevan State University
1997: Candidate of Science in Physics and Mathematics Specialty: Mathematical Cybernetics and Mathematical Logic Awarded by the resolution of the Council of Institute for Informatics and Automation Problems of National Academy of Sciences of Republic of Armenia
Theme of thesis: “Search of Invariants for Programs with Boolean Arrays”

Experience
2007 - up to date: Associate Professor, Chair of Information Systems, Educational & Research Center of Information Technologies of Yerevan State University (YSU)
2002 - up to date: Adjunct Associate Professor, College of Engineering, American University of Armenia
2007 - up to date: Senior Staff Scientist Laboratory of New Technologies in Education,
Educational & Research Center of Information Technologies, YSU
2000 - 2007: Associate Professor Chair of Algorithmic Languages, Informatics and Applied Mathematics faculty, YSU
2000 – 2002: Council Secretary Informatics and Applied Mathematics faculty, YSU
1998 – 2001: Technical Manager Armenian Branch of Mosaic Systems Inc., Fremont, CA, USA
1985 – 1999: Professor Assistant, Chair of Algorithmic Languages, Informatics and Applied Mathematics faculty, YSU

Academic interests
Analysis and design of processes in computational systems, approximative computations, development of application-specific algorithms

The courses taught
  • Theory of design of computational systems
  • Theory of computing
  • Fundamental algorithms
  • Advanced topics in algorithms
  • Object-oriented design methodology
  • Programming languages design and implementation
  • Topics in programming languages
  • Generic programming

    Membership and Participation:
    2012 - 2014: Participated in “Basic Toolkit for a Comprehensive Course Development and Its Application” program sponsored by Open Society Institute (OSI) Assistance Foundation Position: Program Manager
    2013 - 2014: Participated in external evaluation in programs accreditation at SEUA at TEMPUS “Promoting Internationalization and Comparability of Quality Assurance” (PICQA) project
    Position: Expert
    2011 - 2013: Participated in “Analysis, synthesis and optimization problems in parallel computation models” research program sponsored by state budget of Republic of Armenia Position: Senior Staff Scientist
    2010 - 2013: Participated in joint educational program between Yerevan State University anf University of Rostock
    2010 – 2011: Participated in “Development of Quality Assurance Procedures for YSU Study Program” program sponsored by Open Society Institute (OSI)
    2008 - 2010: Participated in “Processes Analysis and Optimization Problems in Distributed Environments” research program sponsored by state budget of Republic of Armenia
    2007 - 2009: Participated in “Development of Scientific Computing Grid on the Base of Armcluster for South Caucasus Region” research program sponsored by International Science and Technology Center (ISTC) foundation
    2006 – 2008: Participated in joint educational program between Yerevan State University and SYNOPSYS Company
    2005 - 2007: Participated in “Processes Control Problems in Distributed Environments” research program sponsored by state budget of Republic of Armenia

    Languages
    Armenian, Russian, English

    armko@ysu.am

  • Armen Kostanyan , Sona Kurazyan
    Critical Problems for a Slicing Floorplan
    2018 | Article
    CSIT-2017 Proceedings. 2018, IEEE Conference, 69-73 pp.
    |
    Fuzzy String Matching with Finite Automata
    2018 | Article
    CSIT-2017 Proceedings. 2018, CSIT conference, 9-11 pp.
    |
    А. Г. Костанян , Т. Г. Демирчян
    Инструментальная среда для представления и обработки нечетких знаний и ее приложения
    2017 | Article
    Информационно-коммуникационные технологии в науке, производстве и образовании, ICIT-2017, стр. 150-157
    |
    Armen Kostanyan , Sona Kurazyan
    Migration of a Net in a Slicing Floorplan
    2017 | Article
    CSIT-2017 Proceedings. 2017, CSIT-2017, 156-159 pp.
    |
    Խնդիրների լուծում Prolog լեզվով
    2016 | Book
    ԵՊՀ հրատ.: 2016թ․, 114 էջ
    Instrumental Environment of Virtual Learning of Yerevan State University and its Application
    2012 | Article
    In Proc. of the Status and Prospects of the Development of Professional Retraining and Advanced Training of Specialists in the New NIS Countries Along New Directions Development Technics and Technologies, Moscow, Russia, 2012, pp. 55-60. (Russian)
    Solvability of Formal Verification Problem for Business Process Templates
    2010 | Article
    Published in Proceedings of Emerging M&S Applications in Industry and Academia Symposium 2010 (EAIA 2010), SpringSim’2010 Multi-conference of Society for Computer Simulation, pp. 66-74, 11-15 April 2010, Orlando, FL, USA
    A. Kostanyan , L. Soghomonyan
    A framework for conceptual knowledge representation
    2010 | Article
    In Proc. of 4th Annual Scientific Conference of RAU, Yerevan, Armenia, 2010, pp. 171-176
    Armen Kostanyan , Vardan Matevosyan, Samvel K. Shoukourian , Anna Varosyan
    An approach for formal verification of business processes
    2009 | Article
    In Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009
    A. Kostanyan , V. Matevosyan, S. Shoukourian , A.Varosyan
    An Approach for Formal Verification of Business Processes
    2009 | Article
    Published in Business and Industry Symposium 2009 (BIS'09), SpringSim'09 Multi-conference of Society for Computer Simulation, ACM Press, March 2009, San Diego, USA
    L.Boyakhchyan, A.Kostanyan , V.Matevosyan, S.Shoukourian , A.Varosyan
    Process Based Management of Specific GRID Configurations: Verification of Changes"
    2009 | Article
    Published in Proceedings of "The Future Business Technology Conference" (FUBUTEC'2009), EUROSIS, pp. 57-61, April 2009, Bruges, Belgium
    I. Boyakhchyan, A. Kostanyan , V. Matevosyan, S. Shoukourian , A. Varosyan
    “Tuning Of IT Management Processes To A Computing Grid”
    2008 | Article
    In Proceedings of GRID’2008, Distributed Computing And GRID Technologies In Education And Science International Conference GRID’2008, Dubna, Russian Federation, 2008. pp. 71-74
    A. Kostanyan , A.Varosyan
    Partial Recongnizing Algorithm for Verification of Workflow Processes
    2008 | Article
    Proc. of "The Future Business Technology Conference"(FUBUTEC’2008) organized by EUROSIS, Porto, Portugal, 2008, pp. 89-94
    Informatics, electronic school-book for 9-10 classes of high school
    2005 | Book
    Yerevan State University, Yerevan, 2005
    Basics of Programming Languages Design and Implementation
    2005 | Book
    Textbook, Yerevan State University, Yerevan, 2005
    A. Kostanyan , Kh.Hayrapetyan
    Method of Slicing Floorplan Optimization
    2005 | Article
    Proc. of the Conf. “Computer Science & Information Technologies”, Yerevan, Armenia, 2005, pp. 506-510
    Approximative Computations over the Boolean Algebra
    2003 | Article
    Proc. of the Conf. “Computer Science & Information Technologies”, Yerevan, Armenia, 2003, pp. 135-139
    On a Method of Multi-Layer Chip Routing
    2001 | Article
    Proc. of the Conf. “Computer Science & Information Technologies”, Yerevan, Armenia, 2001, pp. 341-345
    A. Kostanyan , A. Asatryan
    Usage of Invariant Molds for Verification of a Particular Class of Object-oriented Programs
    2001 | Article
    Proc. of the Conf. “Computer Science & Information Technologies”, Yerevan, Armenia, 2001, pp. 141-143
    A Heuristic Search of Invariants for a Class of Programs
    1999 | Article
    Kibernetikai sistemny analiz, Kiev, Ukraine, 1999, #2, pp.14-33
    Results on Justification of a Unified Test Design Technology both for Offline and Online Testing
    1997 | Article
    Proc. of the Conf. Computer Science & Information Technologies, Yerevan, Armenia, 1997, pp. 326-329
    Peculiarities of Invariants Search for Programs with Arrays
    1997 | Article
    Proc. of the Conf. Computer Science & Information Technologies, Yerevan, Armenia, 1997, pp. 34-36
    A Problem of Verification for Linear Programs with Boolean Arrays
    1995 | Article
    Kibernetika i sistemny analiz, Kiev, Ukraine, 1995, #5, pp. 87-94
    S.Shoukourian , A. Kostanian , V.Margarian, A.Ashour
    An Approach for System Tests Design and Its Applications
    1995 | Article
    Proc. of the 13-th IEEE VLSI Test Symposium, NJ, Princeton, USA, 1995, pp. 448-453