picture Tim Nelson
Senior Research Associate
Brown Computer Science

E-mail: tn [at] cs [dot] brown [dot] edu
Location: CIT 355

Publications Service Teaching

I work in the PLT Group at Brown University. I'm interested in language-design and analysis, particularly for traditional networks, software-defined networks, and smart-home programming. I also teach. Among other courses, I run Logic for Systems, a class that turns the usual formal-logic syllabus on its head by focusing on applications—which is either cool or heretical depending on your point of view. That "or" may be inclusive.

I was previously a PhD student in the Applied Logic and Securty Lab at WPI, under the supervision of Kathi Fisler and Dan Dougherty. At WPI, I worked on tools to help people understand the consequences of policies they write (in multiple domains, ranging from access-control to routing in networks).

Last modified: July 2nd, 2017