Vojtěch Havel
Software Engineer at SentinelOne
Brno, Southeast, Czechia
Summary
👤
Senior🎓
Top SchoolVojtěch Havel is a software engineer with a decade of experience building and optimizing C++ compilers and backend systems, currently contributing at SentinelOne after roles at Intel, Kiwi.com, and AVG. He holds a master's in Parallel and Distributed Systems from Masaryk University and has moved from hands-on C++ development to technical leadership and compiler engineering. His open-source work includes backend and test automation contributions to the P4_16 reference compiler—fixing subtle type-checking, taint-slicing, and copy-propagation bugs and adding tests that improved correctness. Comfortable in both performance-critical native code and system-level tooling, he brings a pragmatic focus on bug-driven improvements and measurable optimizations. Based in Brno, he prefers to maintain his current path rather than explore new opportunities.
10 years of coding experience
8 years of employment as a software developer
Master's degree, Parallel and Distributed Systems, Master's degree, Parallel and Distributed Systems at Masaryk University Brno, Faculty of Informatics
English, Czech
Github Skills (10)
p4v10
type-checking10
type-check10
p4a10
p4lang10
p4api10
compiler-development10
test-automation10
cprogramming-language9
c-language9
Programming languages (3)
Github contributions (5)
p4lang/p4c
Aug 2021 - Jan 2023
P4_16 reference compiler
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:19 reviews, 15 commits, 12 PRs in 1 year 5 months
Contributions summary:Vojtěch contributed to the P4_16 reference compiler by fixing bugs related to type checking, specifically handling "dontcare" types and register type signess. They also optimized the code by inlining storage for `Alloc{1,2}D` and corrected an off-by-one bug in taint checking for slices. Furthermore, the user implemented improvements in copy propagation within table match keys and added test cases to validate the fixes.
compilerbazel-rulesbazelp4p4c
vhavel/p4c
Jul 2021 - Nov 2022
P4_16 reference compiler
Contributions:29 pushes, 21 branches in 1 year 3 months
compiler
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.