I am part of the PLT Group at Brown University Computer Science. I'm interested in user-facing formal methods and formal-methods education, as well as applications like language design for network programming.

Teaching is a major focus for me. Among other courses, I run Logic for Systems, a class that turns the usual formal-logic syllabus on its head by focusing on applications and tools. In the past, we used the excellent Alloy; we now use our own pedagogically-focused version of Alloy, Forge.