Matthis Kruse
Compiler Engineer at Quantum Machines
Bad Reichenhall, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolMatthis Kruse is a compiler engineer with a decade of experience at the intersection of programming languages and secure compilation, currently contributing to Quantum Machines. His background blends rigorous academic research—doctoral work on compositionality of secure compilers and type-driven verification—with hands-on engineering roles at Codasip and research stints in Japan. He has worked across topics from partial evaluation and optimal lambda calculus reduction to FPGA implementations and genome sequence alignment, reflecting a rare mix of theory and low-level systems craftsmanship. Based in Bad Reichenhall, Germany, Matthis is equally comfortable proving properties of languages as he is shipping compiler infrastructure, and his profile suggests a particular knack for turning formal results into practical compiler components.
10 years of coding experience
Master's degree Informatik, Master's degree Informatik at Universität des Saarlandes
Stackoverflow
2,683reputation
171kreached
66answers
26questions
Github Skills (70)
compiler-optimization10
cpu10
higher-order-functions10
coq9
latex9
bluez9
intermediate9
continuation-passing-style9
gpu9
vectorization9
language-server9
simd9
compiler8
alsa8
xml8
Programming languages (11)
Github contributions (5)
DasNaCl/csc
Sep 2021 - Dec 2022
Contributions:374 commits, 2 PRs, 694 pushes in 1 year 2 months
humlang/huml
Sep 2019 - Aug 2020
Contributions:325 pushes, 4 branches, 6 comments in 11 months
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.