Skip to main content
Home
envelope
ՀայերենРусскийEnglish

Main Navigation (Eng)

  • Admission
    • Undergraduate admission
    • Master’s degree admission
    • Postgraduate admission
    • Foreign Students
    • Preparatory courses
    • Work Carried out with Applicants
    • YSU STEM High School
  • Education
    • Guide Book for First Year Students
    • Educational programs
    • Granting qualification of a pedagogue
    • Center for Academic Writing
    • Continuing education
    • Academic Calendar
  • Science
    • Open science
    • Conferences
    • Library
    • Grants
    • Publishing House
    • Doctoral Thesis Defence Councils
    • HRS4R
  • News and events
    • Events
    • Activities
    • News
    • Newsletter
    • Announcement
    • Photo gallery
    • Video gallery

Secondary Navigation (Eng)

  • About YSU
    • YSU Management
    • YSU Symbols
    • YSU International Cooperation
    • Quality assurance
    • YSU History Museum
    • Vacancies
    • FAQ
  • Structure
    • YSU Faculties and Educational Centers
      • Faculty of Geography and Geology
      • Faculty of Theology
      • Faculty of Oriental Studies
      • Faculty of European Languages and Communication
      • Faculty of Journalism
      • Faculty of Informatics and Applied Mathematics
      • Faculty of Law
      • Faculty of Biology
      • Faculty of Armenian Philology
      • Faculty of International Relations
      • Faculty of History
      • Institute of Physics
      • Faculty of Russian Philology
      • Faculty of Sociology
      • Faculty of Economics and Management
      • Faculty of Philosophy and Psychology
      • Faculty of Chemistry
      • Faculty of Mathematics and Mechanics
      • Pedagogy and Education Development Center
      • Center for European Studies
      • Institute of Pharmacy
      • Information Technologies Educational and Research Center
      • Chair of Civil Defense
      • Chair of Physical Education and Sports
    • Column Wrapper
      • YSU STEM High School
      • YSU Ijevan Branch
    • Scientific Centers and Laboratories
      • American Studies Center
      • Center for Mathematical and Applied Research
      • Institute for Armenian Studies
      • Institute for Social and Humanitarian Studies
      • Research Center for Chemistry
      • Research Institute of Biology
      • Research Institute of Physics
      • Research Center for the Institute of Pharmacy
    • Scientific and Educational Centers
      • Observatory
      • Scientific and Educational Center for Control and Monitoring of the Quality of Medicines
      • Specialized cabinet-laboratory for the Design of Very Large Integrated Circuits (Synopsis)
      • Legal Clinic
      • Center for Applied Psychology
      • Research Center-Library of Greek Studies
      • Innovation Center for Microbial Biotechnology and Biofuels
      • Russian Center
      • Center for Russian Studies
      • Distance Learning Laboratory of Sociology
    • Column Wrapper
      • Banner
    • Administrative Divisions of YSU
      • Academic Secretary
      • Center for Doctoral Education
      • General Division
      • YSU History Museum
      • Department of Energy System Operation
      • Financial Analysis Department
      • Human Resources Department
      • Center for Admissions and Affairs with Applicants
      • Vehicle Fleet
      • Business Incubator
      • Byurakan Industrial Practice Base
      • Medical Center
      • Science Policy Department
      • Procurement Planning Department
      • Dilijan Sports and Health Center
      • YSU Archive
      • Publishing House
      • Legal Service
      • Marketing Department
      • International Cooperation Office
      • Tsaghkadzor training and production base
      • Cultural Center
      • Fire Safety Service
      • Alumni and Career Center
      • Hankavan Industrial Practice Base
      • Accounting Department
      • Center for Quality Assurance
      • Department for Special Affairs
      • Guest House
      • Student Dormitory
      • Educational-Methodological Department
      • Marie and Sarkis Izmirlian Library
      • Center for Strategic Planning
      • Rectorate
      • Rector's Office
      • Department of Territory Improvement and Landscape Design
      • Information Technology Department
      • Department of Organization and Control of Economic Activities
      • Student Affairs Center
  • Structure
  • Alumni and Career
    • Alumni Community
    • Career Center
    • Friends of YSU
  • Student life
    • YSU Student Scientific Society
    • YSU Student Council
    • Art and Culture
ՀայերենРусскийEnglish
envelope

Main Navigation (Eng)

  • Admission
    • Undergraduate admission
    • Master’s degree admission
    • Postgraduate admission
    • Foreign Students
    • Preparatory courses
    • Work Carried out with Applicants
    • YSU STEM High School
  • Education
    • Guide Book for First Year Students
    • Educational programs
    • Granting qualification of a pedagogue
    • Center for Academic Writing
    • Continuing education
    • Academic Calendar
  • Science
    • Open science
    • Conferences
    • Library
    • Grants
    • Publishing House
    • Doctoral Thesis Defence Councils
    • HRS4R
  • News and events
    • Events
    • Activities
    • News
    • Newsletter
    • Announcement
    • Photo gallery
    • Video gallery

Secondary Navigation (Eng)

  • About YSU
    • YSU Management
    • YSU Symbols
    • YSU International Cooperation
    • Quality assurance
    • YSU History Museum
    • Vacancies
    • FAQ
  • Structure
    • YSU Faculties and Educational Centers
      • Faculty of Geography and Geology
      • Faculty of Theology
      • Faculty of Oriental Studies
      • Faculty of European Languages and Communication
      • Faculty of Journalism
      • Faculty of Informatics and Applied Mathematics
      • Faculty of Law
      • Faculty of Biology
      • Faculty of Armenian Philology
      • Faculty of International Relations
      • Faculty of History
      • Institute of Physics
      • Faculty of Russian Philology
      • Faculty of Sociology
      • Faculty of Economics and Management
      • Faculty of Philosophy and Psychology
      • Faculty of Chemistry
      • Faculty of Mathematics and Mechanics
      • Pedagogy and Education Development Center
      • Center for European Studies
      • Institute of Pharmacy
      • Information Technologies Educational and Research Center
      • Chair of Civil Defense
      • Chair of Physical Education and Sports
    • Column Wrapper
      • YSU STEM High School
      • YSU Ijevan Branch
    • Scientific Centers and Laboratories
      • American Studies Center
      • Center for Mathematical and Applied Research
      • Institute for Armenian Studies
      • Institute for Social and Humanitarian Studies
      • Research Center for Chemistry
      • Research Institute of Biology
      • Research Institute of Physics
      • Research Center for the Institute of Pharmacy
    • Scientific and Educational Centers
      • Observatory
      • Scientific and Educational Center for Control and Monitoring of the Quality of Medicines
      • Specialized cabinet-laboratory for the Design of Very Large Integrated Circuits (Synopsis)
      • Legal Clinic
      • Center for Applied Psychology
      • Research Center-Library of Greek Studies
      • Innovation Center for Microbial Biotechnology and Biofuels
      • Russian Center
      • Center for Russian Studies
      • Distance Learning Laboratory of Sociology
    • Column Wrapper
      • Banner
    • Administrative Divisions of YSU
      • Academic Secretary
      • Center for Doctoral Education
      • General Division
      • YSU History Museum
      • Department of Energy System Operation
      • Financial Analysis Department
      • Human Resources Department
      • Center for Admissions and Affairs with Applicants
      • Vehicle Fleet
      • Business Incubator
      • Byurakan Industrial Practice Base
      • Medical Center
      • Science Policy Department
      • Procurement Planning Department
      • Dilijan Sports and Health Center
      • YSU Archive
      • Publishing House
      • Legal Service
      • Marketing Department
      • International Cooperation Office
      • Tsaghkadzor training and production base
      • Cultural Center
      • Fire Safety Service
      • Alumni and Career Center
      • Hankavan Industrial Practice Base
      • Accounting Department
      • Center for Quality Assurance
      • Department for Special Affairs
      • Guest House
      • Student Dormitory
      • Educational-Methodological Department
      • Marie and Sarkis Izmirlian Library
      • Center for Strategic Planning
      • Rectorate
      • Rector's Office
      • Department of Territory Improvement and Landscape Design
      • Information Technology Department
      • Department of Organization and Control of Economic Activities
      • Student Affairs Center
  • Structure
  • Alumni and Career
    • Alumni Community
    • Career Center
    • Friends of YSU
  • Student life
    • YSU Student Scientific Society
    • YSU Student Council
    • Art and Culture
  1. Main
  2. Employees
  3. Ara Hayk Arakelyan
download PDF
ara.arakelyan@ysu.am
Ara
Hayk
Arakelyan
Faculty of Informatics and Applied Mathematics
Chair of Programming and Information Technologies
Assistant

Personal information

Date of birth
1985
Education
Institution
YSU
Faculty
Faculty of Informatics and Applied Mathematics
Date
2008 - 2011
Degree name
PhD student
Institution
YSU
Faculty
Faculty of Informatics and Applied Mathematics
Date
2006 - 2008
Degree name
Masters
Institution
YSU
Faculty
Faculty of Informatics and Applied Mathematics
Date
2002 - 2006
Degree name
Bachelor
Scientific Rank/degree
Institution
YSU
Date
2011
Degree name
Candidate
Specialty
Physico-mathematical sciences
Scientific Supervisor
Nigiyan S. A.
Research Topic
On Type Correctness of Functional Programs
Language skills
English
Русский
Հայերեն
Work experience
Institution
Lightning Tools
Period of time
2011 till now
Rank/degree
Lead Developer
Institution
YSU
Period of time
2011 till now
Rank/degree
Asistant Lecturer
Institution
TopSoft Solution Center
Period of time
2007 - 2011
Rank/degree
Lead Developer
Institution
Cornet-AM CJSC
Period of time
2005 - 2007
Rank/degree
Developer
Participation in international conferences and seminars
28/09/2015 - 02/10/2015
СSIT 2015
YSU
Armenia
28/09/2008 - 02/10/2009
СSIT 2009
YSU
Armenia
24/09/2007 - 28/09/2007
СSIT 2007
YSU
Armenia

Publications

- Կատեգորիա -
Manual
Ծրագրավորում
Լ. Օ. Խաչոյան
Ա. Ս. Անդրեասյան
Ա. Հ. Առաքելյան
Վ. Ա. Զաքարյան
Ա. Գ. Մանուկյան
Զ. Ա. Նազարյան
2019
234
Manual
ԻՆԹԵԼ x86 ԱՍԵՄԲԼԵՐ (իրական ռեժիմ)
Ա. Հ. Առաքելյան
Շ. Ա. Բաղդասարյան
Կ. Գ. Գալստյան
Վ. Ա. Զաքարյան
Գ. Ա. Մարտիրոսյան
Զ. Ա. Նազարյան
Գ. Ռ. Սարդարյան
2016
268
Article
UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS
A. H. ARAKELYAN
Proceedings of the YSU A. Physical and Mathematical Sciences
2011
28 - 35
Article
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 2
A.H. ARAKELYAN
Proceedings of the YSU A. Physical and Mathematical Sciences
2010
37-46
Article
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1
A. H. ARAKELYAN
Proceedings of the YSU A. Physical and Mathematical Sciences
2009
42-51
Conference
Educational Process Management System
Ara Arakelyan
Artak Khachatryan
Conference
Building and Execution of Queries for Educational Process Management System
Ara Arakelyan
Ani Balasanyan
Ematerial
ԻՆԹԵԼ x86 ԱՍԵՄԲԼԵՐ (իրական ռեժիմ)
Ա. Հ. Առաքելյան
Շ. Ա. Բաղդասարյան
Կ. Գ. Գալստյան
Վ. Ա. Զաքարյան
Գ. Ա. Մարտիրոսյան
Զ. Ա. Նազարյան
Գ. Ռ. Սարդարյան
Conference
On Type Correctness of Polymorphic Functional Programs
Ara Arakelyan
Conference
Type Inference System of Polymorphic λ-Terms
Ara Arakelyan

Quick access

  • Intranet
  • E-learning
  • Mulberry
  • Online applications
  • Phone book
  • Registrar
  • Documentation

Footer(ENG)

  • Main pages
    • Admission
    • Education
    • Science
    • News
  • Information
    • Frequently asked Questions
    • Vacancies
    • Search for educational programs
    • For the applicants
    • For the students
  • About YSU
    • YSU management
    • YSU symbols
© Yerevan state university 2025
Address: Republic of Armenia, Yerevan, 0025, 1 Alex Manoogian (+37460) 710000 info@ysu.am