Joel Burget

I’m a software developer from the US. I cofounded Monic, where we work on verifying the correctness of software systems.

I’m also interested in functional programming, programming languages, machine learning, logic, and category theory.


  • /posts: Blog posts and other writing
  • /now: What I’m working on how
  • /canon: Inspiration
  • /resume: Work I’m proud of

Get in Touch