Pavel Skripkin
Systems Software Engineer at Kaspersky
Moscow, Moscow, Russia
Summary
🤩
Rockstar🎓
Top SchoolPavel Skripkin is a systems software engineer with six years of hands-on experience specializing in Linux kernel development and OS hardening. Currently at Kaspersky OS, he contributes to kernel core and hardening efforts after previous roles maintaining ARM SoC kernels at Samsung and developing drivers for custom PLDs. An active open-source contributor, Pavel has made substantive static-analyzer and memory/ownership improvements to the LLVM project, including refactors to MallocChecker and overflow primitives that reduce analyzer crashes. He holds a Master's in Cyber Security from the Higher School of Economics, bringing a security-first mindset to low-level systems design. Known for pragmatic bug fixes—demonstrated during a Linux Foundation summer program—he combines production kernel maintenance with research-grade tooling improvements. Colleagues describe him as an OS enthusiast who quietly improves reliability and safety across toolchains and kernels.
6 years of coding experience
3 years of employment as a software developer
Master's degree, Cyber Security, Master's degree, Cyber Security at Higher School of Economics
Github Skills (6)
memory-management10
compiler-design10
c-language10
static-analysis10
cprogramming-language10
debug9
Programming languages (6)
Github contributions (5)
llvm/llvm-project
Apr 2022 - Apr 2025
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:72 reviews, 21 PRs, 4 pushes in 3 years
Contributions summary:Pavel primarily contributed to the LLVM project's static analyzer, implementing and refactoring code related to memory management and ownership attributes. Their work included supporting new attributes like `ownership_returns` and fixing analyzer crashes related to array indexing and inline assembly. Furthermore, the user refactored parts of the `MallocChecker` to improve its integration with the rest of the analyzer framework, and they also addressed issues related to the handling of built-in functions and overflow checks. They also added new features such as overflow built-ins primitives to enable better checking of custom allocation logic.
compilerstechnologiesclangsubmittoolchain
pskrgag/llvm-project
Jun 2024 - Mar 2025
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Contributions:64 pushes, 21 branches in 9 months
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.