picture Tim Nelson
Lecturer in Computer Science
Brown Computer Science

E-mail: Tim_Nelson [at] brown [dot] edu
Office: CIT 355


Publications Service Teaching

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.