I'm an engineer based out of Seattle, WA. I am broadly professionally interested in back-end and systems programming - in a nutshell, I write correct & performant back-end services. In addition to the standard stuff (I can write a mean stateless-service-on-top-of-a-database), I've got some systems programming expertise (I've written pre-boot firmware in Forth, and virtualization code in C), and know more than your aveage bear about formal methods, particularly property based testing (though I've also written PlusCal/TLA+ specs for production services!).
Also, I read a lot of philosophy. Ask me about Hume & David Lewis.