Casey Robinson

Software Engineer


  • Go, JavaScript, C, Zig, and other languages
  • Docker (deployment, development, and orchestration)
  • PostgreSQL, Redis, ZeroMQ
  • Property Based, Mutation, and Metamorphic Testing
  • Modeling with Alloy, TLA+, Z3, Minizinc, and Prolog

Highlighted Projects

  • DCPH® - A series of day-long puzzle events
  • Linty Crepe - A collection of web based tools and visualizations