TMPA-2021: keynote speakers

Alexey Khoroshilov

Alexey Khoroshilov

Lead Researcher, Ivannikov Institute for System Programming of the Russian Academy of Sciences

Bio

Formal Methods: Theory and Practice of Linux Verification Center

Abstract:

The talk will review the challenges that formal methods meet being applied in industrial settings, as well as the patterns that are often used to overcome these challenges. Alexey will also share the experience of using patterns within the projects of Linux Verification Center of ISPRAS.

Alexey Khoroshilov

Lead Researcher, Ivannikov Institute for System Programming of the Russian Academy of Sciences

Prof. Alexey Khoroshilov is the leader of a research group at ISPRAS for verification of critical software systems and is the head of the Linux Verification Center of ISPRAS, where a number of verification techniques are developed and applied to the Linux kernel and real-time operating systems. Since 2015 Alexey, has been leading the development of JetOS (ARINC653-based real-time operating system for civil avionics).

His main research interests include:

  • operating systems;
  • verification technologies including formal methods;
  • model-driven development of critical software systems.

Alexey holds an MSc degree in Computer Science from Moscow State University and a PhD degree from ISPRAS.