Matthew Heimerdinger
Summary
👤
SeniorMatthew Heimerdinger is a research scientist specializing in formal methods, programming language semantics, and logic with 11 years of experience bridging academic research and applied verification. Currently at Two Six Technologies, he focuses on rigorous, semantics-driven approaches to compiler and system correctness, building on prior work at Indiana University in compiler verification via denotational semantics. He has a strong theoretical foundation with MS degrees in computer science and mathematics and hands-on experience contributing to proof assistant tooling and teaching complex CS and math topics. Known for translating deep formal ideas into verifiable artifacts, he brings both pedagogy and practical engineering to projects that require provable guarantees. Based in Bloomington, Indiana, he pairs a mathematician’s rigor with a developer’s pragmatism to deliver audit-ready verification solutions.
11 years of coding experience
Github Skills (5)
jekyll7
agda7
graph6
python1
machine-learning1
Programming languages (3)
Github contributions (5)
madheime/quarantine-jam-parking
Mar 2020 - Mar 2020
Contributions:10 pushes, 2 branches in 2 days
jsiek/denotational_semantics
May 2020 - May 2022
Denotational semantics based on graph and filter models
Contributions:74 commits, 49 pushes in 2 years
graph
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.