Игорь Ануреев

Биография

Игорь Сергеевич Ануреев родился в Новосибирске в 1971 году. Получил степень магистра наук компьютерных наук Новосибирского государственного университета в Новосибирске в 1994 г. и степень кандидата физико-математических наук в Институте систем информатики им. А.П. Ершова СО РАН в Новосибирске в 1998 г.

Игорь Ануреев - старший научный сотрудник лаборатории теоретического программирования Института систем информатики им. А.П. Ершова с 2004 года и старший научный сотрудник лаборатории киберфизических систем Института автоматики и электрометрии СО РАН с 2019 года. Автор более 100 статей. Его исследовательские интересы включают спецификацию и проверку программных систем и моделей программ, проектирование и прототипирование программных систем и моделей программ, семантику программных систем и компьютерных языков, предметно-ориентированные языки, автоматическое доказательство теорем и онтологии.

Публикации

  • LNCS, vol 12232, Август 2020
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
    Two-Step Deductive Verification of Control Software Using Reflex
    Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia, Июль 2019
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
    Towards safe cyber-physical systems: the Reflex language and its transformational semantics
    14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6., Апрель 2019
  • Garanina N.O., Anureev I.S., Zyubin V.E
    Constructing verification-oriented domain-specific process ontologies
    System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 19–30., 2019
  • Anureev I.S
    Operational semantics of Reflex
    System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 1–10, 2014