A L E X   V A R G A


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

Some Interactive Projects

Please check out the bold items!

Div Jumper! (about)