Ilya Shchepetkov
Lead Research Developer at Kaspersky
Moscow, Moscow, Russia
Summary
👤
Senior🎓
Top SchoolIlya Shchepetkov is a Lead Research Developer and formal verification engineer with 13 years' experience designing and proving security-critical software, currently heading the Formal Methods Group at Kaspersky to verify KasperskyOS architecture and grow formal-methods practice company-wide. He combines deep academic credentials (PhD-level research and a track record of publications and national standards authorship) with hands-on tool development and performance work on verification platforms like Rodin, Klever and Isabelle/HOL. Ilya has taught formal verification at top Russian universities, judged blockchain smart-contract verification contests, and contributed to Linux kernel verification efforts dating back to Google Summer of Code. Known for translating rigorous specifications into practical verification workflows, he influences design and QA decisions while steering strategic projects in trusted computing.
13 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy - PhD, Doctor of Philosophy - PhD at Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS)Bachelor's degree, Applied Mathematics, Bachelor's degree, Applied Mathematics at Moscow Institute of Physics and Technology (State University) (MIPT)
English, Russian
Github Skills (93)
compilation-database10
aspect-oriented-programming10
specification10
build-process10
callgraph10
verification10
source-code-analysis10
static-analysis9
hacklang9
tree-sitter9
linux9
formal-verification9
cli9
event-b9
programming-language9
Programming languages (11)
Github contributions (5)
17451k/clade
Jun 2018 - Dec 2022
Clade is a tool for extracting information about software build process and source code
Contributions:59 releases, 889 commits, 18 PRs in 4 years 7 months
compilation-databasecladecallgraphsource-code-analysisbuild-process
ldv-klever/aspectator
Feb 2013 - Jan 2022
Contributions:111 commits, 55 pushes, 10 branches in 9 years 1 month
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.