Ph.D. candidate studying programming languages at Purdue University, advised by Ben Delaware. My research is in programming languages and formal methods, focused on discovering theoretically principled approaches to practical software engineering problems. I like to fence épée, and I play the piano and violin quite poorly. Formerly Square and elsewhere.
rob@robd.io