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 (19)
scripting9
embedding8
metaprogramming8
coq8
lambda-prolog8
coq-plugin8
kebab-case7
gleam5
technical-writing5
emacs4
agda3
proof-assistant3
melpa2
proof-general2
opam2
Programming languages (3)
Github contributions (5)
jhaag/jconfig
May 2020 - Feb 2025
Contributions:2 pushes in 4 years 9 months
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.