Alexey Khoroshilov

Alexey Khoroshilov

Linux Verification Center of ISPRAS

Biography

Alexey Khoroshilov is a director of the Linux Verification Center of Institute for System Programming of the Russian Academy of Sciences. He has graduated from Computer Sciences Department of the Lomonosov’s Moscow State University with honour and received a Ph.D. in Computer Sciences on the Formal Specification and Testing of Asynchronous Systems.

He has more than 50 research publications and has presented at numerous scientific and developer conferences. Alexey is also an author of more than 100 patches to Linux kernel that were prepared within Linux Driver Verification project (http://linuxtesting.org/ldv).>