Татьяна Лях

Биография

Татьяна Викторовна Лях родилась в Новосибирске в 1990 году. Получила степень магистра наук по физике в Новосибирском государственном университете (Новосибирск, 2013 г.)

Татьяна Лях - научный сотрудник Лаборатории киберфизических систем Института автоматики и электрометрии СО РАН с 2016 года, преподаватель Новосибирского государственного университета с 2011 года.

Профессиональная деятельность

Сфера научных интересов: киберфизические системы, динамическая верификация, формальная верификация, автоматические системы управления и робототехника.

Публикации

  • 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
  • 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
    Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems
    Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria, 2019
  • Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
    An Ontology of Specification Patterns for Verification of Concurrent Systems
    New Trends in Intelligent Software Methodologies, Tools and Techniques – Proceedings of the 17th International Conference SoMeT18, Granada, Spain, Сентябрь 2018
  • Reflex Language: a Practical Notation for Cyber-Physical Systems
    System Informatics 12 (2018), pp. 84–104, 2018
  • Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
    Vestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94., 2018
  • Tatiana Liah, Vladimir Zyubin
    The Reflex Language Usage to Automate the Large Solar Vacuum Telescope
    17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM)., Июнь 2016