Oleg Kamenkov
Research Programmer at Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolOleg Kamenkov is a research programmer at Carnegie Mellon University with 11 years of engineering experience specializing in binary analysis, functional programming, and signal processing. He is a backend developer and security engineer on the widely used Binary Analysis Platform (BAP), where he has strengthened stability and expanded format handling by fixing segfaults, addressing PE-64 entry issues, and adding a Bap_bytes module. A strong proponent of OCaml and functional design, he also brings practical C++ and Python expertise from earlier roles developing and optimizing signal-processing and passive radar software. His background combines academic rigor from a Master’s in airborne equipment and computer systems with hands-on performance tuning, unit testing, and benchmarking. Based in Pittsburgh, he pairs low-level systems skill with a security-minded approach to tooling that supports robust binary analysis workflows.
11 years of coding experience
7 years of employment as a software developer
Master's degree, Airborne equipment and computer systems, Master's degree, Airborne equipment and computer systems at Moscow Aviation Insitute (National Research University)
English, Russian
Github Skills (12)
reverse-engineering10
binarydiff10
ocaml10
disassembly9
program-analysis9
security9
code-analysis9
static-analysis8
cprogramming-language7
x86-647
x867
c-language7
Programming languages (9)
Github contributions (5)
BinaryAnalysisPlatform/bap
Apr 2015 - Aug 2020
Binary Analysis Platform
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:2 releases, 3 reviews, 208 commits in 5 years 4 months
Contributions summary:Oleg contributed to the Binary Analysis Platform by fixing bugs and improving the codebase related to binary analysis and processing. They addressed entry point issues in PE-64 files, corrected errors in bitvector summation, and implemented a new Bap_bytes module, extending the functionality of the core project. Additionally, they resolved issues related to corrupted files and fixed segfaults, demonstrating a focus on improving the platform's stability and its ability to handle various binary formats.
binary-analysisemulatorvlsidisassemblerabstract-interpretation
gitoleg/ppc-model
Nov 2017 - Mar 2018
Contributions:151 commits, 53 pushes, 13 branches in 4 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.