جستجوی استاد راهنمای دانشگاهی

• Formal Methods of Software Engineering
• Operating Systems Verification
• Critical Systems Development
• +۵ مورد دیگر

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.

• Information systems in economics and management
• Logic programming
• Programming teaching methods
• +۵ مورد دیگر

Irina Nikolaevna Lesovskaya is an Associate Professor in the Department of Software Engineering at the Faculty of Computer Science, National Research University Higher School of Economics (HSE). She began her tenure at HSE in 2004 and has accumulated 41 years of scientific and teaching experience. Her academic journey spans multiple institutions including the N.E. Zhukovsky Air Force Engineering Academy, MATI, and MISiS, where she served as Associate Professor before joining HSE. Beyond her faculty position, she has held significant administrative roles as Deputy Dean of both the Faculty of Business Informatics and the Faculty of Business and Management. Lesovskaya earned her Candidate of Technical Sciences degree in 1992 and completed her undergraduate studies at the Kiev State Institute of Culture in 1980, specializing in Library Science and Bibliography. Her professional development includes extensive advanced training, with recent courses in 2024-2025 focused on software engineering education and pedagogical excellence in computer science teaching. She has also completed English language training at HSE at both Pre-intermediate and Intermediate levels. Her research interests center on information systems in economics and management, logic programming, programming teaching methods, and analysis of educational programs. She has made significant contributions to computer science education through the development of curricula and teaching materials aligned with the Federal State Educational Standards. Her work bridges theoretical computer science with practical educational applications, particularly in secondary and higher education contexts. Lesovskaya's publication record demonstrates a consistent focus on computer science education, programming methodologies, and information systems. Her recent work shows increasing emphasis on software engineering education and innovative teaching approaches, while her earlier publications reflect expertise in information retrieval systems and library science. She has contributed to numerous educational materials for state examinations and has developed comprehensive programs for grades 10-11 at the HSE Lyceum. Medal "Recognition - 15 years of successful work" of HSE (February 2020) Honorary Diploma of HSE (November 2013) Honorary Diploma of HSE (December 2012) Gratitude from HSE (November 2007) Medal "For Labor Valor" of the Ministry of Defense of the Russian Federation (April 2004) Throughout her career, Lesovskaya has been actively involved in educational innovation projects including the HSE Internet School of Informatics (2015), development of entrance examination materials for HSE's bachelor's program in Informatics, and creation of comprehensive computer science programs for the HSE Lyceum. She has served as Coordinator of MicrosoftRUS Student Programs and Head of the Laboratory of Educational Innovations at the ITHub Academy, demonstrating commitment to practical student development and industry-academia collaboration. Lesovskaya maintains an active role in the HSE community, including consultation hours for students (particularly for the "Programming in C#" course) and participation in scientific seminars. Her work bridges academic research with practical educational implementation, making significant contributions to computer science education in Russia.

• software engineering
• binary code analysis
• network traffic analysis

Hetman Oleksandr Igorevich serves as an Associate Professor at the National Research University Higher School of Economics (HSE) within the Faculty of Computer Science and the Basic Department 'System Programming' affiliated with the Institute for System Programming named after V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS). He began his tenure at HSE in 2018 and maintains additional appointments at ISP RAS since 2007 and Moscow State University's Computational Mathematics and Cybernetics faculty since 2016. His educational background includes: 2013: Candidate of Physical and Mathematical Sciences 2007: Master's degree in Applied Mathematics and Physics from Moscow Institute of Physics and Technology 2005: Bachelor's degree in Applied Mathematics and Physics from Moscow Institute of Physics and Technology Professor Hetman specializes in software engineering, binary code analysis, and network traffic analysis. His research demonstrates consistent focus on network security, traffic classification, and binary code analysis methodologies, with publications spanning from 2014 to 2021. His work shows progressive development from foundational research on data format recovery to sophisticated network traffic analysis systems. His teaching portfolio prominently features the 'Computer Networks and Telecommunications' course for Software Engineering Master's students across multiple academic years (2020-2026). He has secured multiple research grants from Russian funding bodies including RFBR (РФФИ) projects 12-01-31417, 14-07-00606, 15-07-07652, 16-29-09632 and RGNF (РГНФ) project 16-06-00830-ОГН. His professional activities indicate active engagement in both academic instruction and research leadership within Russia's computer science community, with publications appearing in reputable Russian academic journals and international computer science publications.

• Software Engineering
• Computer Engineering
• Formal Methods
• +۴ مورد دیگر

Kamkin Alexander Sergeevich is an Associate Professor at the National Research University Higher School of Economics (HSE) and the Institute for System Programming named after V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS). Affiliated with the Faculty of Computer Science and the Moscow Institute of Electronics and Mathematics, he specializes in software and computer engineering with a focus on formal methods for program and microprocessor verification. Education: Candidate of Physical and Mathematical Sciences (2009), Moscow State University (2003) in Applied Mathematics and Computer Science Research Areas: Formal methods, program verification, microprocessor verification, model-based testing, static analysis His recent publications highlight the application of formal specifications in test program generation for architectures like RISC-V and ARMv8, emphasizing simulation modeling and ISA specification maintenance. Key trends include the integration of constraint-based testing, formal modeling, and automated verification tools. Kamkin supervises students in software engineering and collaborates with colleagues such as Tatarnikov A.D., Protsenko A.S., and Chupilko M.M. At HSE, he has taught courses including Software Verification (Master's, 09.04.04 Software Engineering) and High-Level and Simulation Modeling of Digital Systems (Bachelor's, 09.03.01 Computer Science and Engineering). His work is associated with the MicroTESK framework, which automates test generation for microprocessors.

• computer security
• compiler technologies
• parallel programming
• +۲ مورد دیگر

Padaryan Vartan Andronikovich serves as an Associate Professor at the Faculty of Computer Science of the National Research University Higher School of Economics (HSE University) since 2022. He concurrently holds positions at the Basic Department "System Programming" of the Institute for System Programming named after V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS), as Associate Professor at Moscow State University's Faculty of Computational Mathematics and Cybernetics since 2010, and as Head of the Laboratory of Reverse Engineering of Binary Code at ISP RAS since 1999. Since 2018, he has chaired Subcommittee 4 "Secure Software Development" of Technical Committee for Standardization 362 "Information Security". Education: 2005: Candidate of Physical and Mathematical Sciences 2000: Specialty in "Applied Mathematics" from Moscow State University, qualification "Mathematician. Systems Programmer" Dr. Padaryan's research centers on binary code analysis and security applications. His expertise spans computer security, compiler technologies, parallel programming, binary code analysis, and emulation and virtualization. His work addresses critical challenges in understanding and securing software systems when source code is unavailable, with particular focus on reverse engineering techniques, vulnerability detection, and secure software development methodologies. His research bridges theoretical computer science with practical security applications, contributing to innovative tools for binary code analysis. His publication record reveals a strong trajectory in binary code analysis, with consistent contributions to algorithm extraction, intermediate representation recovery, and security vulnerability detection. The interdisciplinary nature of his work combines programming languages, software engineering, and cybersecurity to develop practical solutions for analyzing and securing software systems. His research has evolved to address increasingly complex security challenges, particularly in network interface testing and data leakage detection in binary environments. Dr. Padaryan actively contributes to academic and professional communities through teaching and leadership roles. He teaches "Computer Architecture and Assembly Language" for Software Engineering bachelor's students at HSE University across multiple academic years. His laboratory leadership at ISP RAS has fostered significant research output, while his standardization committee role demonstrates influence in shaping secure software development practices in Russia. His laboratory work focuses on developing advanced security tools including the "LAKMUS" system for labeled data analysis and the "PROTOSPHERE" system for network traffic analysis. These tools represent practical applications of his research in real-world security scenarios, enabling security professionals to detect vulnerabilities and analyze software behavior without access to source code.