team

Мартиросян Ваграм Артурович

к.ф.-м.н.

Описание

Образование:

  • Ереванский государственный университет / магистратура по направлению "Информатика и прикладная математика" (2000 - 2006)

  • Российско-Армянский университет / кандидат физико-матматических наук / аспирантура по направлению "Вычислительная математика" (2006 - 2009)

Опыт работы:

  • 2003 - 2004, ООО "ArtDivision"

    •  Инженер-программист 

  • 2004, ООО "NATK"

    •  Инженер-программист 

  • 2003 - 2005, Институт математики в НАН РА

    • Младший научный сотрудник

  • 2004 - 2005, ООО "South Tech Consulting Inc""

    •  Инженер-программист 

  • 2005 - 2006, Lycos Europe

    •  Инженер-программист 

  • 2006 - 2008, ISMOTech

    • ​​​​​​​Старший инженер-программист

  • ​​​​​​​2009 - 2013, Лаборатория системного программирования РАУ

    • ​​​​​​​Руководитель лаборатории

  • 2007 - 2014, РАУ

    • ​​​​​​​Старший преподаватель

  • 2013 - 2017, Optym Armenia

    • ​​​​​​​Главный разработчик программного обеспечения

  • Armenian Code Academy

    • ​​​​​​​Лектор

  • Priotix

    • Архитектор-консультант и руководитель группы

  • Образовательный центр ArmSoft 

    • ​​​​​​​Лектор

  • HelpSystems Armenia

    • ​​​​​​​​​​​​​​Главный разработчик программного обеспечения и руководитель группы

  • Alan Turing School of Philosophy of Programming

    • Основатель и лектор

Проекты:

  • Spruce: Linux file system driver verification system

    • URL: http://code.google.com/p/spruce

  • Moon: The first flying smart camera

    • ​​​​​​​URL: Project on Indigogo

  • Philosophy Of Programming

    • ​​​​​​​URL: PhilosophyOfProgramming on Facebook

Список основных публикаций

  • "Программирование в среде GNU/Linux: от системных вызовов до GUI"
  • Мартиросян В. А., Рубанов В. В., Шатохин Е. А. "Основы программирования в среде OC Linux", МФТИ, 2011г.
  • Мартиросян В., Гишян С. "X2C - XML To Code: Advantages of standards", Четвертая годичная научная конференция РАУ, 2009г.
  • Мартиросян В., Гишян С., Шатохин Е. "Dynamic Verification of Linux File System Drivers", CSIT 2011г.
  • Мартиросян В., Цирунян К., Цыварев А."The Spruce System: quality verification of Linux file system drivers", SYRCoSE, 2012г.
  • Мартиросян В., Цыварев А. "Testing of Linux File System Drivers", Proceedings of the Institute for System Programming of RAS, 2012
  • Мартиросян В. А. "Linux Verification - Challenge of Today", Седьмая годичная научная конференция РАУ, 2012г.
  • Мартиросян В., Караказова Р. "The Spruce System: Linux kernel module verification automation", Седьмая годичная научная конференция РАУ, 2012г.
  • Мартиросян В. А., Туманян А. Г. "Моделирование ошибок при проверке модуля ядра Linux", Седьмая годичная научная конференция РАУ, 2012г.
  • Ричард Мэттью Столлман "Jinnetic Engineering" (перевод на армянский)

Дисциплины