Loading…
Collaboration Summit has ended

The Linux Foundation Collaboration Summit is an exclusive, invitation-only summit gathering core kernel developers, distribution maintainers, ISVs, end users, system vendors and other community organizations for plenary sessions and workgroup meetings to meet face-to-face to tackle and solve the most pressing issues facing Linux today. If your company is not a member of The Linux Foundation and you are interested in joining please visit our website to learn more about how you can become a Corporate Member.

Request an Invitation To Participate

avatar for Alexey Khoroshilov

Alexey Khoroshilov

ISPRAS
Researcher
Russian Federation
Websitelinuxtesting.org
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 150 patches to Linux kernel that were prepared within Linux Driver Verification project (http://linuxtesting.org/ldv).