About

I'm fascinated by software and remarkable user interfaces as they form the medium for our interaction with any built system. Distributed systems, programming languages, formal logic, cryptography, and artificial intelligence form my theoretical interests.