Assistant Professor of Computer Science at Augustana. Research 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, poorly. Formerly Square and elsewhere.
rob@robd.io