Տեղեկատվական տեխնոլոգիաների կրթական եվ հետազոտական կենտրոն
YSU Information Technologies Educational and Research Center
ԵՊՀ տեղեկատվական տեխնոլոգիաների (SS) կրթական և հետազոտական կենտրոնը ստեղծվել է 2007 թ-ին:
>
Արմեն Հրաչի Կոստանյան

Դոցենտ | Տեղեկատվական համակարգերի ամբիոն
Կրթություն
1981 - 1984 թթ. ասպիրանտ, Կիևի պետական համալսարանի տեսական ծրագրավորման ամբիոն
1974 - 1979 թթ. ուսանող, Երևանի պետական համալսարանի կիրառական մաթեմատիկայի ֆակուլտետ, շնորհվել է մաթեմատիկոսի որակավորում «գերազանցությամբ» դիպլոմով
1964 - 1974 թթ. Երևանի #122 միջնակարգ դպրոց

Գիտական աստիճան
2006 թ. դոցենտ, մասնագիտությունը` մաթեմատիկա, կոչումը շնորհվել է ԵՊՀ գիտական խորհրդի որոշմամբ
1997 թ. ֆիզիկամաթեմատիկական գիտությունների թեկնածու, կոչումը շնորհվել է ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտի մասնագիտական խորհրդի որոշմամբ

Աշխատանքային գործունեություն
2007 թ-ից մինչ այժմ դոցենտ, ԵՊՀ տեղեկատվական տեխնոլոգիաների կրթական և հետազոտական կենտրոնի տեղեկատվական համակարգերի ամբիոն
2007 թ-ից մինչ այժմ ավագ գիտ. աշխատող, ԵՊՀ տեղեկատվական տեխնոլոգիաների կրթական և հետազոտական կենտրոնի կրթական նոր տեխնոլոգիաների լաբորատորիա
2007 թ-ից մինչ այժմ դոցենտ, Հայաստանի ամերիկյան համալսարանի ճարտարագիտության ֆակուլտետ
2000 - 2007 թթ. դոցենտ, ԵՊՀ ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետի ալգորիթմական լեզուների ամբիոն
2000 - 2002 թթ. խորհրդի քարտուղար, ԵՊՀ ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
1998 - 2001 թթ. տեխնիկական ղեկավար, «Mosaic Systems» ամերիկյան ընկերության հայկական մասնաճյուղ
1985 - 1999 թթ. ասիստենտ, ԵՊՀ ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետի ալգորիթմական լեզուների ամբիոն

Գիտական հետաքրքրությունների շրջանակը
Հաշվողական մոդելների վերլուծություն և նախագծում, մոտավոր հաշվումներ, կիրառական ալգորիթմների մշակում

Կարդացած դասընթացներ
  • Հաշվողական համակարգերի նախագծման տեսություն
  • Հիմնարար ալգորիթմներ
  • Օբյեկտային կողմնորոշմամբ նախագծման մեթոդաբանություն
  • Ծրագրավորման լեզուների հիմնահարցեր
  • Ընդհանրացված ծրագրավորում

    Մասնակցությունը դրամաշնորհների
    2012 - 2014 թթ. Մասնակցություն բաց հասարակության ինստիտուտի կողմից ֆինանսավորվող «Basic Toolkit for a Comprehensive Course Development and Its Application» ծրագրին
    2011 - 2013 թթ. Մասնակցություն պետբյուջեից ֆինանսավորվող «Անալիզի, սինթեզի և օպտիմիզացիայի խնդիրներ զուգահեռ հաշվարկների մոդելներում» գիտային թեմայի աշխատանքներին
    2008 - 2010 թթ. Մասնակցություն պետբյուջեից ֆինանսավորվող «Պրոցեսների անալիզի և օպտիմիզացիայի խնդիրներ բաշխված միջավայրերում» գիտային թեմայի աշխատանքներին
    2007 - 2009 թթ. Մասնակցություն ISTC հիմնադրամով ֆինանսավորվող «Basic Toolkit for Development of Scientific Computing Grid on the Base of Armcluster for South Caucasus Region» հետազոտական ծրագրին,
    2005 - 2007 թթ. Մասնակցություն պետբյուջեից ֆինանսավորվող “Պրոցեսների ղեկավարման խնդիրներ բաշխված միջավայրերում” գիտային թեմայի աշխատանքներին

    Լեզուներ
    Հայերեն, Ռուսերեն, Անգլերեն

    armko@ysu.am

  • Խնդիրների լուծում 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