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.