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 Posts
- Chemspell - spelling words with atomic symbols
- Solving Zebra Puzzles with MiniZinc - integer programming and nlp
- Property Based Testing - asserting properties of software with randomness
Highlighted Projects
- DCPH® - A series of day-long puzzle events
- The Amazing Race Map - Visualizing the routes from The Amazing Race