Denis Gavrielov
Software Engineer at Meta
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolDenis Gavrielov is a pragmatic full-stack software engineer with eight years of experience building scalable systems across Python, TypeScript, C++, and cloud-native infrastructure. He has driven core features from architecture to launch—most recently developing AI-powered test generation infrastructure at Meta and previously leading the Workflows product at Encord that scaled video annotation services and cut storage and load times by over 90%. Comfortable in both startup and large-company environments, Denis blends backend systems design, frontend UX sensitivity, and production-grade tooling (Kubernetes, FastAPI, PostgreSQL) with hands-on mentorship. His background spans low-latency C++ services at Bloomberg to ML-focused APIs and SDKs for ML teams, reflecting a rare mix of performance engineering and developer-facing product work. He favors simplicity without sacrificing capability, inspired by Alan Kay’s philosophy, and brings practical commercial experience from early ventures and quantitative trading projects that sharpen his product intuition.
8 years of coding experience
5 years of employment as a software developer
Master of Science - MSc, Computer Science, Master of Science - MSc, Computer Science at Imperial College LondonUniversity of California, IrvineThe Chinese University of Hong Kong (CUHK)High School, Business Studies, High School, Business Studies at Vienna Business School FloridsdorfBachelor’s Degree, Economics and Management, Bachelor’s Degree, Economics and Management at King's College London
English, German, Russian
Stackoverflow
11reputation
2kreached
2answers
0questions
Github Skills (39)
vagrantfile9
virtualbox9
mocking8
doctest8
klee8
unit-testing8
testing8
remote-development7
google7
browser7
vagrant7
symbolic-execution6
vscode6
ssh6
googletest6
Programming languages (4)
Github contributions (5)
Denis-Gavrielov/klee-web
Jun 2019 - Sep 2019
KLEE in the browser
Contributions:8 PRs, 369 pushes, 24 branches in 3 months
javascriptkleebrowser
Denis-Gavrielov/Denis-Gavrielov.github.io
Oct 2017 - Aug 2019
Contributions:4 pushes, 3 branches in 1 year 9 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.