Alexey Khoroshilov

Alexey Khoroshilov is a distinguished professional in the field of Computer Science, currently serving as Director and Chief Architect at the Linux Verification Center of ISPRAS since January 2006. Additionally, Alexey holds the position of Associate Professor at Moscow State University, teaching Formal Methods and Analytical Verification courses within the System Programming Department. Since 1999, Alexey has been a Senior Researcher at ISPRAS. Academic qualifications include a PhD in Computer Science obtained from Lomonosov Moscow State University between 2001 and 2004, and an M.S. in Computer Science earned at the same institution from 1996 to 2001, complemented by earlier education at Physico-mathematical school №18 named after A.N. Kolmogorov.