Pavel Iatchenii
Software Engineer at Meta
City of London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolPaul Iatchenii is a software engineer with 8 years of experience blending research and hands-on development, currently working at Meta after internships and roles at Facebook, Huawei, and JetBrains. He specializes in automation, symbolic execution, and tooling—contributing notable improvements to the widely used KLEE symbolic execution engine, including wide-bit argument support and UBSan integrations to boost test accuracy. At Huawei he helped deliver an MVP for automated C/C++ unit-test generation, and at JetBrains he built an interoperability layer for Unreal Engine developers. Known for turning research ideas into practical developer tools, he favors robust, automated solutions that reduce manual effort and improve code quality. Based in Stony Stratford, he brings an R&D mindset to production engineering and open-source collaboration.
8 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at ITMO University
Stackoverflow
21reputation
213reached
2answers
0questions
Github Skills (9)
symbolic-execution10
c-language10
cprogramming-language10
klee10
testing10
llvm9
swift6
echo6
gnu-coreutils6
Programming languages (7)
Github contributions (5)
klee/klee
Jan 2022 - Aug 2022
KLEE Symbolic Execution Engine
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:4 reviews, 12 commits, 9 PRs in 6 months
Contributions summary:Pavel contributed to the KLEE symbolic execution engine by adding support for arguments of wider bit widths (128, 256, and 512 bits) in external calls, which involved modifications to the expression evaluation and memory handling code. They also addressed a bug related to the `__cxa_atexit` handler and improved the pattern matching for UBSan tests to enhance error reporting accuracy. Their work also involved the integration of various UBSan checks, indicating a focus on improving code quality and robustness.
symbolic-executionsymbolic-execution-enginekleeexecution-engineexecution
operasfantom/rd_cpp
Jul 2018 - Nov 2018
Contributions:148 commits, 114 pushes, 1 branch 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.