Latest Post

Modeling a Resource Pool
Redesigning a service with TLA+.

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.