Lukáš Zaoral
Senior Software Engineer at Red Hat
Brno, Southeast, Czechia
Summary
🤩
Rockstar🎓
Top SchoolLukáš Zaoral is a Senior Software Engineer at Red Hat with seven years of experience building and maintaining robust back-end systems, particularly in C/C++ and LLVM-related tooling. He has a strong academic foundation in theoretical computer science (MSc) and practical expertise in porting and modernizing complex codebases—evident from contributions that updated the KLEE symbolic execution engine for newer LLVM APIs. His work spans improving build and test infrastructure, fixing subtle memory and compatibility issues, and hardening cross-platform C code, showing a focus on long-term maintainability. Based in Brno, he combines research-oriented rigor with pragmatic engineering, often tackling deprecated APIs, compiler quirks, and test deadlocks that others might overlook.
7 years of coding experience
3 years of employment as a software developer
Master's degree, Theoretical Computer Science, Master's degree, Theoretical Computer Science at Masaryk University BrnoBachelor's degree, Computer and Information Systems Security/Information Assurance, Bachelor's degree, Computer and Information Systems Security/Information Assurance at Masarykova univerzita Brno
English, German, japonština, Slovenian
Github Skills (21)
debug10
c-language10
scripting10
llvm10
c1110
software-quality10
c1710
script10
klee10
sh10
symbolic-execution10
shell10
cprogramming-language10
testing9
build-system9
Programming languages (11)
Github contributions (5)
klee/klee
Sep 2020 - Jun 2022
KLEE Symbolic Execution Engine
Role in this project:
Back-end Developer
Back-end DeveloperContributions:20 reviews, 47 commits, 21 PRs in 1 year 9 months
Contributions summary:Lukáš primarily contributed to the KLEE symbolic execution engine by adapting the code to newer LLVM versions. Their commits involved updating code to use the `CallBase` class instead of `CallSite`, replacing deprecated functions, and handling changes in data structures and APIs introduced in LLVM 11 and later. These changes included updates to the `Executor`, `StatsTracker`, `Module`, and `Core` components of KLEE, ensuring compatibility and maintaining functionality with evolving LLVM versions.
symbolic-executionsymbolic-execution-enginekleeexecution-engineexecution
mchalupa/dg
Apr 2020 - Dec 2022
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Role in this project:Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:31 reviews, 189 commits, 42 PRs in 2 years 8 months
Contributions summary:Lukáš primarily focused on improving the build process and fixing compilation issues. They addressed compiler warnings and errors related to GCC and older libstdc++ versions, demonstrating proficiency in C++ development. Additionally, the user implemented fixes for memory leaks and other code correctness issues, while also improving testing infrastructure by introducing parallel testing and fixing deadlocks within the test runner.
llvm-iranalysesdependency-graphslicingdata-dependency
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.