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...
Read More →