Senior software engineer specializing in programming languages and compilers.

2023 — Now

Cupertino, California, United States

Working on the Clang & Swift compilers to improve build performance.

2020 — 2023

Productized “explicitly-built Clang modules”, a major new feature in Xcode 16.

Reduced build times by ~10%, enabled compilation caching & distributed builds.

Improved the soundness & performance of Clang’s modular dependency scanner.

Ensured smooth adoption experience by working with teams across the company.

Mentored a Google Summer of Code project, presented at the EuroLLVM conference.

Became the code owner of Clang’s command line interface & related infrastructure.

2019 — 2020

Extended the compiler generator in Codasip Studio, a tool for processor design.

Engineered a new generator of LLVM cost-model based on the processor model.

Enabled vectorization and reduced code size by over 13% for a custom RISC core.

2019 — 2019

Spearheaded the transition to a better front-end architecture of the Swift compiler.

Rewrote parts of the parser to produce only lossless source code representation.

Laid the groundwork for performance gains in IDE contexts like code completion.

2016 — 2018

Integrated a payment gateway into the main checkout process of Cyclescheme.

Halved the number of database queries made on each request for authentication.

Implemented new features in a reliable fashion through test-driven development.

Brno University of Technology

Technical University of Munich

Brno University of Technology