picture Tim Nelson
Lecturer in Computer Science
Brown Computer Science

E-mail: tbn [at] cs [dot] 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.

A note on my email address: I used to be tn, not tbn. Unfortunately, times change and institutional policies become better enforced. Rather than spend my time engaging in a quixotic battle over one keystroke, I've decided to view this as a mark of approval: the Powers that Be have granted me one more letter in my login name.
TLDR: please use tbn, not tn, to avoid potential delays and other issues.