The URI your browser dereferenced to render this page is not me.

I'm mostly heads down these days on topics in type-safe, high-assurance software including intutitionistic type theory and constructive logic using Haskell and Agda.

This also looks like a good time to recap my Java experience and have some fun with Java 8.

The Phaneron is my blog.

Unity Duo is Northern Virginia's Premier Vocal and Classical Guitar Duo. Listen to our tracks on SoundCloud.

Disclaimer

The opinions expressed on this web site and all social utilities are solely my own. No representation is made by my employer regarding the utility, objectivity, accuracy or integrity of the information published through any of my communications.