RISC-V Summit is part of the Informa Tech Division of Informa PLC
This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 3099067.
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.