Tim Nelson

I'm part of the PLT Group and Cognitive Engineering Lab 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've most recently taught Program Design with Data Structures and Algorithms (CSCI 0200), Introduction to Software Engineering (CSCI 0320), and Logic for Systems (CSCI 1710), which uses our in-house tool Forge, a pedagogically focused version of Alloy.