Also known as: bradlarsen
I am a Ph.D. student at Tufts University. My research interests include programming languages, compilers, formal methods, and parallel & distributed computing. A unifying theme of these areas is reliable software: I want to make correct software easier to construct and easier to reason about.
