I’m interested in using computers as tools for thinking - and finding ways to bring formal methods closer to everyday engineering. I work in Azure at Microsoft.

This blog is where I think out loud and write about what I’m learning.