Ilja Zakharov

Ilja Zakharov's mission is to close the gap between formal methods and users seeking the highest security and reliability guarantees for their products. He received B.S. and M.S. degrees in applied mathematics and physics from the Moscow Institute of Physics and Technology. His Ph.D. degree, received from the Ivannikov Institute for System Programming of the Russian Academy of Science, is connected with an application of software verification tools. Prior to joining RV, Ilja spent ten years creating and applying formal verification frameworks to operating system components such as device drivers and file systems.