Operating Systems Verification Professors and Supervisors in Russia

Harutyun Ishkhanovich AvetisyanView profile

Professor

HSE UniversityRussia

Harutyun Ishkhanovich Avetisyan is a Professor and Head of the Basic Department "System Programming" at the Faculty of Computer Science of the National Research University Higher School of Economics (HSE). He began his tenure at HSE in 2017 and brings 30 years of scientific and teaching experience to his role. Additionally, he serves as the Director of the Institute for System Programming of the Russian Academy of Sciences (ISP RAS), a position he has held since 2015. Avetisyan holds numerous prestigious academic distinctions, including being elected as an Academician of the Russian Academy of Sciences in 2019 and as a Corresponding Member in 2016. He earned his Doctor of Physical and Mathematical Sciences degree in 2012 and was awarded the academic title of Associate Professor in 2009. His educational background includes a specialty in "Applied Mathematics" from Yerevan State University (1993). His research focuses on three main areas: analysis and transformation of programs, software security, and parallel and distributed computing technologies. These interests are reflected in his extensive publication record and leadership in major research initiatives. His work bridges theoretical computer science with practical applications in cloud computing, secure data storage, and high-performance computing systems. Avetisyan's scholarly contributions demonstrate a consistent focus on system programming challenges, particularly in the areas of code analysis, optimization, and security. His recent publications indicate a growing interest in cloud computing paradigms, smart city infrastructure, and energy-efficient computing solutions. His research has significant implications for both academic theory and industrial applications in software development. Among his notable recognitions, Avetisyan was awarded the medal of the Order "For Merit to the Fatherland" 2nd degree in 2021 for his significant contributions to science and dedicated service. He also serves on the editorial boards of several prestigious journals including "Programming" (since 2015) and "Proceedings of the Institute for System Programming of the RAS" (since 2010). Throughout his career, Avetisyan has led and participated in numerous research grants funded by the Ministry of Education and the Russian Foundation for Basic Research. His professional trajectory shows steady progression from postgraduate studies (1997-2000) to research fellow (2000-2002), deputy director of ISP RAS (2002-2015), and ultimately director of the institute (2015-present). At HSE, Avetisyan teaches courses in parallel programming and mentor seminars for master's students in Software Engineering. His teaching philosophy emphasizes the integration of cutting-edge research with practical software development skills, preparing students for careers at the forefront of computer science.

Official University Profile

Alexey Vladimirovich KhoroshilovView profile

Associate Professor

HSE UniversityRussia

Alexey Vladimirovich Khoroshilov is an Associate Professor at the Faculty of Computer Science of the National Research University Higher School of Economics (HSE), affiliated with the Basic Department "System Programming" of the Institute for System Programming named after V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS). He joined HSE in 2015, bringing 20 years of scientific and teaching experience to his position. His academic background includes a Candidate of Physical and Mathematical Sciences degree (2006) and a specialty in Applied Mathematics and Computer Science from Moscow State University named after M.V. Lomonosov (2001), with the qualification of Mathematician and Systems Programmer. His primary research interests focus on formal methods of software engineering, particularly in the verification and validation of critical systems. He specializes in methods for designing and developing critical systems, formal verification techniques, model-based testing, and requirements analysis. His work has significant applications in operating systems security, real-time systems, and safety-critical software development. His recent publications demonstrate a strong focus on operating system verification, with particular emphasis on abstract model-based runtime verification, security policy integration, and multi-level requirements compliance. His research often combines theoretical formal methods with practical applications in operating system security and verification. The recurring themes across his work include component-based verification approaches, thread-modular analysis techniques, and formal modeling of security policies. Khoroshilov maintains a strong connection with the Institute for System Programming of the Russian Academy of Sciences, where he has worked since 1999 and held the position of leading research fellow as of 2014. He also teaches at Moscow State University's Department of System Programming within the Faculty of Computational Mathematics and Cybernetics since 2009. His teaching focuses on operating system development, particularly courses on the design of operating system kernels for both bachelor's and master's programs. His technical expertise includes verification of operating system components, security policy implementation, and requirements management for critical systems. He has contributed to significant projects related to aviation real-time operating systems, formal security models, and Linux kernel verification.

Official University Profile

Alexander Konstantinovich PetrenkoView profile

Professor

HSE UniversityRussia

Alexander Konstantinovich Petrenko is a Professor at the Faculty of Computer Science of the National Research University Higher School of Economics (HSE), where he has been working since 2009. He serves as the Academic Director of the educational program 'System Programming' and is affiliated with the Basic Department 'System Programming' of the Institute for System Programming named after V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS). With 42 years of scientific and teaching experience, he holds a Doctor of Physical and Mathematical Sciences degree (2004) and was awarded the academic title of Professor in 2011. His research focuses on verification and validation technologies, formalization of interface standards, and free software/open standards. His work primarily centers on operating system security, formal methods in software engineering, and system programming. He has made significant contributions to runtime verification of operating systems, access control models, and security policy integration. Professor Petrenko's publication record demonstrates a consistent focus on formal methods for operating system verification, with recent work emphasizing security by design principles, dynamic verification techniques, and integration of multiple security models (RBAC, MIC, MLS). His research bridges theoretical computer science with practical applications in system security and reliability. Letter of thanks from the Vice-Rector of HSE (November 2021) Gratitude from the Faculty of Computer Science of HSE (August 2017) With extensive experience across multiple institutions including the Keldysh Institute of Applied Mathematics (1974-1994), the Institute of System Programming of the Russian Academy of Sciences (since 1994, as head of the Department of Programming Technologies since 2004), and Moscow State University (since 1999, as professor since 2004), Professor Petrenko has established himself as a leading expert in system programming and formal verification. He has contributed significantly to educational programs in software engineering that recently achieved professional accreditation. His work spans both theoretical foundations and practical applications in system security, with strong connections to industry needs through his involvement with the Institute for System Programming and collaborations on real-world security challenges.

Official University Profile

Kulyamin Viktor VyacheslavovichView profile

Associate Professor

HSE UniversityRussia

Official University Profile

Belova Natalia SergeevnaView profile

Associate Professor

HSE UniversityRussia

Natalia Sergeevna Belova is an active Associate Professor at the Department of Software Engineering within the Faculty of Computer Science at the National Research University Higher School of Economics (HSE University). She has been with HSE since 2012, accumulating 13 years of scientific and teaching experience. Her academic journey began with engineering education and progressed through postgraduate studies to earning her Candidate of Technical Sciences degree. Her educational background includes: 2010: Candidate of Technical Sciences from Moscow State University of Instrument Engineering and Computer Science, specializing in Mathematical and Software Support for Computing Machines 2009: Postgraduate studies at the same institution 2005: Engineering degree from Moscow State Academy of Instrument Engineering and Computer Science Belova's research interests span automatic text analysis, information search, IT project management, embedded databases, and project-based learning in engineering education. Her work demonstrates a strong focus on practical applications of computer science, particularly in face recognition, pattern recognition, and educational methodologies for software engineering. She has made significant contributions to the fields of embedded database systems and computer vision. Her publication record shows a clear evolution from foundational work on embedded databases (2009) to advanced research in computer vision and deep learning (2015-2025). The most recent publications focus on artificial intelligence applications in transport design and affect recognition in video, demonstrating her ability to adapt to emerging technologies while maintaining expertise in her core areas. Among her notable achievements: Gratitude from HSE University leadership (2023, 2025) Multiple publication bonuses for high-impact research Recognition as Best Teacher (2016-2017) Membership in the High Professional Potential Group (HSE personnel reserve) Belova has supervised numerous bachelor's theses, guiding students through projects ranging from mobile applications to complex software systems. She has also secured significant research funding, including a Presidential Grant for young doctors of science (2017-2018) for developing pattern recognition methods. Her teaching portfolio includes courses on Group Dynamics and Communication in Software Engineering Professional Practice and Software Engineering Economics, reflecting her dual expertise in technical and soft skills development for future software engineers.

Official University Profile

Sergey Vadimovich ZelenovView profile

Associate Professor

HSE UniversityRussia

Sergey Vadimovich Zelenov serves as an Associate Professor at the Faculty of Computer Science, National Research University Higher School of Economics (HSE), working within the Basic Department "System Programming" of the Institute for System Programming named after V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS). He joined HSE in 2017 and brings 26 years of scientific and teaching experience to his position. Dr. Zelenov earned his Candidate of Physical and Mathematical Sciences degree in 2001 and completed his specialist education at Lomonosov Moscow State University in 1998, specializing in Mathematics and Applied Mathematics with the qualification of Mathematician. His research focuses on Real-Time Operating Systems, scheduling algorithms for periodic tasks, software and hardware reliability assessment, and system security analysis. His work demonstrates particular expertise in developing scheduling criteria for conflict-free execution of periodic tasks in real-time environments and applying stochastic methods to analyze complex hardware-software systems. He has made significant contributions to AADL (Architecture Analysis & Design Language) modeling and visualization techniques. Dr. Zelenov's publication record shows consistent scholarly output with multiple publications in reputable journals and conference proceedings between 2017-2019, primarily in the field of real-time systems and system programming. His work frequently appears in the Proceedings of the Institute for System Programming of the Russian Academy of Sciences and international venues like IEEE conferences. Gratitude from the Faculty of Computer Science, HSE (September 2020) As an educator, Dr. Zelenov teaches Applied Systems Analysis for Master's students in Software Engineering at HSE, a course he has consistently delivered across multiple academic years from 2020/2021 through 2025/2026. His professional affiliation with the Institute for System Programming of the Russian Academy of Sciences (ISP RAS) dates back to 1997, indicating a long-standing commitment to system programming research. His scholarly identity is established through multiple identifiers including ORCID (0000-0003-0446-0541), ResearcherID (H-2069-2014), and Scopus AuthorID (10039123900), reflecting his integration into the international academic community.

Official University Profile