Jasper Haag
Senior Formal Methods Engineer at Skylabs AI
Melrose, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolJasper Haag is a Senior Formal Methods Engineer with a decade of experience applying formal verification and concurrent software techniques to make reliable systems more accessible. Currently at Skylabs AI after four years building formal methods tooling at BlueRock.io, he blends rigorous, research-driven approaches with practical engineering to ship verifiable concurrency solutions. An MIT EECS alumnus, Jasper's background includes Haskell-centered research at CSAIL and internships at Akamai and other engineering teams, reflecting deep functional-programming fluency. He mentors peers and has experience training technical staff, indicating strong communication skills alongside technical rigor. Based in Melrose, MA, he’s as comfortable modeling correctness proofs as he is polishing production systems—and outside work he’s an avid rock climber, which speaks to his patience for hard problems and appetite for focused, incremental progress.
10 years of coding experience
6 years of employment as a software developer
Electrical Engineering and Computer Science, Electrical Engineering and Computer Science at Massachusetts Institute of TechnologyHigh School, High School at Malden High School
Github Skills (15)
scripting9
metaprogramming8
lambda-prolog8
coq-plugin8
kebab-case8
coq8
prose6
embedding6
gleam6
technical-writing5
proof-assistant3
emacs3
serialization2
proof-general2
json2
Programming languages (4)
Github contributions (5)
jhaag/jaspah
May 2020 - Jun 2026
Contributions:2 PRs, 29 pushes, 1 branch in 6 years 1 month
jhaag/jam
Oct 2016 - Jan 2017
Contributions:1 push in 2 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.