
Татьяна Лях
Биография
Татьяна Викторовна Лях родилась в Новосибирске в 1990 году. Получила степень магистра наук по физике в Новосибирском государственном университете (Новосибирск, 2013 г.)
Татьяна Лях - научный сотрудник Лаборатории киберфизических систем Института автоматики и электрометрии СО РАН с 2016 года, преподаватель Новосибирского государственного университета с 2011 года.
В 2020 году защитила степень кандидата технических наук по специальности 05.13.18 Математическое моделирование, численные методы и комплексы программ.
Профессиональная активность
Сфера научных интересов: киберфизические системы, динамическая верификация, формальная верификация, автоматические системы управления и робототехника.
Публикации
Verifying Reflex-software with SPIN: Hand Dryer Case Study
Июль 2020
Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin
Two-Step Deductive Verification of Control Software Using Reflex
Июль 2019
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
Towards safe cyber-physical systems: the Reflex language and its transformational semantics
Апрель 2019
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
2019
Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H
An Ontology of Specification Patterns for Verification of Concurrent Systems
Сентябрь 2018
Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
Reflex Language: a Practical Notation for Cyber-Physical Systems
2018
Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
2018
The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
Июнь 2016
Tatiana Liah, Vladimir Zyubin