Paul Iatchenii
Software Engineer at Meta
Stony Stratford, 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.
9 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:Paul 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.
kleesymbolic-execution-enginesymbolic-execution
JetBrains/rd
Jul 2018 - Mar 2020
Reactive Distributed communication framework for .NET, Kotlin, C++. Inspired by Rider IDE.
Contributions:379 commits, 25 PRs, 313 pushes in 1 year 8 months
cppdotnetidekotlin
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.