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
- DCPH® - A series of day-long puzzle events
- The Amazing Race Map - Visualizing the routes from The Amazing Race