Vojtěch Havlena
Software Engineer at Inzata Analytics
Brno, South Moravia, Czechia
Summary
👤
Senior🎓
Top SchoolVojtěch Havlena is a software engineer and researcher with a decade of experience specializing in SMT solving, automata, and formal methods, currently balancing roles at FIT BUT and Inzata Analytics. He develops efficient algorithms that bridge theory and practice, applying formal techniques to software verification and anomaly detection in industrial networks and to large-scale, AI-powered data modeling. His background includes international research stints (Academia Sinica) and a PhD trajectory at Brno University of Technology, reflecting deep academic grounding paired with production-oriented engineering. Known for squeezing performance from complex logical systems, he brings a rare mix of formal-methods rigor and pragmatic system-building to tackle real-world verification and analytics challenges.
9 years of coding experience
Doctor of Philosophy - PhD, Computer Science and Engineering, Doctor of Philosophy - PhD, Computer Science and Engineering at Brno University of Technology
Github Skills (18)
automata10
smt10
z39
dfa9
theorem8
game-theory8
crossword8
ssreflect8
reduction7
ids5
approximate4
cli4
python3
sat-solver3
rust3
Programming languages (5)
Github contributions (5)
vhavlena/ranker
Jun 2020 - Dec 2022
A tool for Buchi automata complementation
Contributions:17 PRs, 222 pushes, 3 branches in 2 years 7 months
buchi-automataautomatacli
VeriFIT/kofola
Nov 2022 - Mar 2025
Complementation and Inclusion Checking of Omega Automata
Contributions:2 reviews, 16 PRs, 21 pushes in 2 years 4 months
dataminingrustchidfaautomata
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.