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 Introduction to Software Engineering (CSCI 0320) and Logic for Systems (CSCI 1710). The latter is 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.