David Moon
Research Software Engineer at University of Michigan
Ann Arbor, Michigan, United States
Summary
🤩
Rockstar🎓
Top SchoolDavid Moon is a research software engineer and PhD-trained computer scientist specializing in structured code editors and human-centered programming languages. Over 11 years he has blended systems-level engineering with empirical user studies to turn incompleteness and errors into first-class interactive objects—work that powered Hazel, influenced undergraduate curricula, and produced multiple first-author publications including OOPSLA'25. He has industry experience building full‑stack web systems at Addepar and teaching project-based courses, and his tylr editor series and error-handling parsing theory have attracted attention beyond academia (including Hacker News front-page interest). David thrives at the intersection of design and engineering, focusing on how people navigate and modify complex formal structures while shipping robust, usable tooling.
11 years of coding experience
8 years of employment as a software developer
Bachelor of Arts (B.A.), Mathematics and Computer Science, Bachelor of Arts (B.A.), Mathematics and Computer Science at Williams CollegeDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of MichiganHigh School, High School at Phillips Exeter AcademyMathematics, Mathematics at Budapest Semesters in MathematicsDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Colorado Boulder
Github Skills (18)
js-of-ocaml10
text-editor10
ember-addon10
editor10
elm10
reasonml10
ocaml10
functional-programming10
map-editor10
ember8
programming-language6
cloc5
addon2
compatibility2
emberjs2
Programming languages (6)
Github contributions (5)
dm0n3y/dm0n3y.github.io
Oct 2019 - Nov 2025
Contributions:39 pushes, 1 branch in 6 years 2 months
hazelgrove/hazel
Sep 2018 - Jan 2023
Hazel, a live functional programming environment with typed holes
Contributions:30 reviews, 2377 commits, 90 PRs in 4 years 5 months
functional-programmingeditorocamlelmreasonml
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.