Casey Robinson


Software Engineer

Skills

  • 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