Gábor Horváth
Senior Compiler Engineer at Apple
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolGábor Horváth is a Senior Compiler Engineer with 13 years of experience specializing in static program analysis, compiler toolchains and systems-level tooling. He holds a PhD in computer science and has been a long-time co-maintainer and contributor to the Clang Static Analyzer and clang-tidy, improving checks for nullability, pointer arithmetic and lifetime issues across LLVM/Clang and Swift-clang repositories. At Microsoft he advanced MSVC’s code analyzer and upstreamed flow- and statement-local lifetime analyses that found real bugs in prominent open-source projects; he now works on compiler engineering at Apple. Beyond professional work, he pursues compiler hobby projects in Rust and experiments with functional programming, reflecting a taste for mixing academic research with practical tool-building. Based in London, he combines deep static-analysis expertise with a history of cross-company internships and open-source collaboration that consistently bridges research ideas to production-ready diagnostics.
13 years of coding experience
5 years of employment as a software developer
Mathematics, Mathematics at Zrínyi Miklós GimnáziumDomain Specific Languages, Domain Specific Languages at Central European Functional Programming SchoolDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Eötvös Loránd UniversityMaster’s Degree, Computer Science, Master’s Degree, Computer Science at Eötvös Loránd TudományegyetemDoctoral School, Innovation and Entrepreneurship, Doctoral School, Innovation and Entrepreneurship at EIT Digital AcademyBachelor of Science (BS), Mathematics and Computer Science, Bachelor of Science (BS), Mathematics and Computer Science at Eötvös József Collegium
English, Hungarian, German
Github Skills (30)
astm10
matcher10
debug10
c-language10
static-analysis10
clang-tidy10
compile-time10
python10
clang-cl10
c-compiler10
development-tools10
software-quality10
code-analysis10
compiler-design10
checker10
Programming languages (20)
Github contributions (5)
llvm-mirror/clang-tools-extra
Feb 2015 - May 2018
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Role in this project:
Back-end Developer & Code Quality Specialist
Back-end Developer & Code Quality SpecialistContributions:65 commits in 3 years 3 months
Contributions summary:Gábor made significant contributions to the Clang-Tidy tool, primarily focusing on enhancing code quality. Their work involved implementing new checks and improving existing ones related to various aspects of C++ code, including exception handling, memory manipulation, and best practices related to function signatures and const correctness. Furthermore, the user made corrections in the test-cases, contributing to overall correctness of the tests. The user also updated documentation, including fixes for grammar and formatting.
keptwindowsllvm
Ericsson/codechecker
Sep 2016 - Jul 2020
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
Role in this project:Back-end Developer
Back-end DeveloperContributions:2 reviews, 223 commits, 230 PRs in 3 years 10 months
Contributions summary:Gábor primarily contributed to bug fixes and Python 3 compatibility improvements within the `ericsson/codechecker` repository. Their work included addressing issues detected by the Travis CI build system, updating the codebase to ensure Python 3 compatibility across multiple files. They also made style improvements, reformatting code snippets, and addressing issues related to data storage.
static-analyzersclangclang-static-analyzerinspectvue
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.