Pavel Ponomarev
Software Engineer at Télécom Paris
Stony Stratford, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolPavel Ponomarev is a software engineer and researcher with eight years of experience building high-impact developer tools and integrity systems at Meta, Facebook, Huawei, Yandex and research stints at Télécom Paris and the Ethereum Foundation. He blends systems-level C++ and Java expertise with modern TypeScript, Python and functional Haskell experience to deliver tooling like UTBot C++ (integrated with KLEE) and data pipelines that improved troubleshooting and migrations at scale. His research work applies distributed-consensus and Proof-of-Stake ideas to design asynchronous, permissionless cryptocurrencies that aim to outperform blockchain-based approaches. Currently at Meta, he tackles complex integrity problems by combining software engineering, data analysis and machine learning. A high-achieving ITMO alum (4.8/5.0) with MS work at Georgia Tech, Pavel is equally comfortable shipping production systems and exploring cryptographic and formal techniques to make software more reliable.
8 years of coding experience
2 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at Georgia Institute of TechnologyBachelor of Science - BS, Applied Mathematics and Computer Science, 4.8/5.0, Bachelor of Science - BS, Applied Mathematics and Computer Science, 4.8/5.0 at ITMO University
Russian, English, Spanish
Github Skills (30)
unit-test8
recommender-system8
coverage8
unit-testing7
pytorch7
recommendation-system7
sharding7
gpu7
klee7
branches7
cuda7
symbolic-execution7
code-coverage7
cpp6
auction6
Programming languages (7)
Github contributions (5)
pavponn/unique-bid-dapp
Jul 2020 - May 2021
🏦 Unique Bid Auction Game decentralized application.
Contributions:20 commits, 3 PRs, 15 pushes in 10 months
bidreactdappblockchainweb3
pavponn/web-projects
Jan 2019 - Jul 2021
Web Programming Course, ITMO University, 2018.
Contributions:22 PRs, 32 pushes in 2 years 6 months
programming-courseweb-appcssjavascriptweb-programming
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.