Evgeny Novikov
Research Developer at Kaspersky
Moscow, Moscow City, Russia
Summary
👤
Senior🎓
Top SchoolEvgeny Novikov is a research developer with 12 years of experience specializing in applying formal methods to large, security-critical software such as OS kernels, drivers, and embedded systems. He leads and is a primary developer of the Klever project, bridging advanced verification techniques and real-world codebases. His background includes long-term research at ISPRAS and current work at Kaspersky, underpinned by a PhD in Computer Science and a Master’s in System Programming from MIPT. Known for making formal tools practical at scale, he combines deep academic rigor with hands-on engineering to deliver verifiable, production-ready software.
12 years of coding experience
15 years of employment as a software developer
Master’s, System Programming, Master’s, System Programming at Moscow Institute of Physics and Technology (State University) (MIPT)PhD, Computer Science, PhD, Computer Science at Ivannikov Institute for System Programming of the RAS
Github Skills (91)
libgit210
aspect-oriented-programming10
specification10
subsystem10
hacklang10
static-analysis10
git-repository10
linux10
formal-verification10
git10
formal-methods10
samsung10
verification10
zen10
kernel10
Programming languages (2)
Github contributions (5)
ldv-klever/cif
Jan 2014 - Jul 2022
Read-only mirror of the CIF Git repository
Contributions:2 releases, 308 commits, 1 comment in 8 years 7 months
instrumentationgit-repositoryversion-controlsubversiongitflow
ldv-klever/klever
Jul 2015 - Aug 2022
Read-only mirror of the Klever Git repository
Contributions:5012 commits, 66 branches, 3 comments in 7 years 2 months
model-checkinghacklanggit-repositoryversion-controlformal-specification
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.