Bridging formal theory with whatever else seems interesting.

I document my projects and ideas here as they evolve.

See what I've been thinking about below,

or check out my projects or about page