Alexander KamkinLeading Researcher at ISP RAS
Alexander Kamkin is a leading researcher at Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) and a lecturer at Lomonosov Moscow State University (MSU), Moscow Institute of Physics and Technology (MIPT), and Higher School of Economics (HSE). He graduated from the faculty of Computational Mathematics and Cybernetics of MSU (2003) and got his PhD from ISP RAS (2009). Alexander leads the Microprocessor Verification Group and manages the MicroTESK project, a reconfigurable test program generator for microprocessors. His research interests include formal methods, model-based testing, and hardware design & verification.