I am a mathematically-minded software engineer who is fascinated by programming languages and abstractions that enable coherent, maintainable, and verifiably-correct software. One of my long-term projects is combining metaprogramming, formal verification, and actor models to create a multi-user programming environment.
Links: LinkedIn GitHub StackOverflow YouTube Flickr Vimeo
Please check out the bold items!