Matthew Heimerdinger
Research Scientist - Formal Methods at Two Six Technologies
Bloomington, Indiana, United States
Summary
👤
Senior🎓
Top SchoolMatthew 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
9 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at Indiana University BloomingtonBachelor of Arts - BA, Physics and Mathematics, Bachelor of Arts - BA, Physics and Mathematics at Kenyon College
Github Skills (25)
abstract8
automata8
tuple8
ssreflect7
jekyll7
sat7
grammars7
relational-algebra7
logic7
rule-based6
sat-solver6
declarative-programming6
agda6
polymorphism6
type-theory5
Programming languages (2)
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
Contributions:74 commits, 49 pushes in 2 years
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.