Latest Post

Solving Zebra Puzzles with MiniZinc
Using integer programming and nlp to solve logic puzzles

View Post →

Project Underway

I am learning about line drawing algorithms and testing methods like property based testing and mutation testing.

Source Code →

Reading List

I am reading through Practical TLA+ by Hillel Wayne to better understand how to apply formal methods.

Book Website →

Contact Me

If you have any comments, project ideas, or just want to chat download my PGP key and send me a message.