Michal Knapik
Security Engineer at Institute of Computer Science, Polish Academy of Sciences
Warsaw, Masovian Voivodeship, Poland
Summary
👤
Senior🎓
Top SchoolMichal Knapik is a Security Engineer based in Warsaw with 13 years of experience bridging academic research and practical low-level security work. Currently at Samsung Electronics Polska, he performs flagship kernel assessments, develops tooling, and conducts low-level security research. Formerly an Assistant Professor and researcher at the Polish Academy of Sciences, he has deep expertise in specification, verification, and model checking, and has co-led international research projects and secured grant funding. His background in mathematics and computer science (PhD) and teaching experience give him a strong theoretical foundation that informs pragmatic vulnerability discovery and secure system design. Michal combines rigorous formal-methods thinking with hands-on kernel and tooling development—a blend that helps surface subtle, hard-to-find issues. He is known as a particularly upbeat engineer who moves comfortably between publishing research and shipping security improvements in production environments.
13 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Institute of Computer Science, Polish Academy of SciencesBachelor of Engineering - BE, Computer Science, Bachelor of Engineering - BE, Computer Science at Polish-Japanese Academy of Information TechnologyMaster of Science (MSc), Mathematics, Master of Science (MSc), Mathematics at University of WarsawMaster of Engineering - MEng, Electronic and Computer Engineering, Master of Engineering - MEng, Electronic and Computer Engineering at Dublin City University
English, Polish
Github Skills (9)
cudd9
binary-decision-diagrams8
python5
cython5
pure-python5
kernel4
bdd4
linux-kernel4
linux3
Programming languages (4)
Github contributions (5)
MichalKnapik/automata-net-reduction-tool
May 2020 - Jan 2022
Contributions:66 commits, 2 PRs, 15 pushes in 1 year 7 months
MichalKnapik/general-automata-net-reduction-tool
Apr 2021 - Dec 2021
Contributions:26 commits, 2 PRs, 6 pushes in 7 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.