Биография
Наталья Гаранина получила степень магистра по информатике в Новосибирском Государственном Университете в 2001 г., и степень кандидата физико-математических наук в Институте систем информатики им. А.П. Ершова (Новосибирск) в 2004 г.
Она явлется старшим научным сотрудником лаборатории киберфизических систем Института автоматики и электрометрии и лаборатории теоретического программирования Института систем информатики. Преподаёт в Новосибирском Государственном Университете с 2007 года. Автор более 100 статей. Ее исследовательские интересы включают формальную верификацию, параллельные/распределенные системы, системы автоматического управления, онтологии, извлечение информации, а также неклассические логики и теорию областей.
Публикации
- LNCS, vol 12232, Август 2020
-
Two-Step Deductive Verification of Control Software Using ReflexPreliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia, Июль 2019
-
Towards safe cyber-physical systems: the Reflex language and its transformational semantics14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6., Апрель 2019
-
Constructing verification-oriented domain-specific process ontologiesSystem Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 19–30., 2019
- New Trends in Intelligent Software Methodologies, Tools and Techniques – Proceedings of the 17th International Conference SoMeT18, Granada, Spain, Сентябрь 2018
-
Automatic Verification of Control Algorithms for Complex Technological Objects on Software SimulatorsVestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94., 2018
-
Лаборатория киберфизических систем Исследователь