picture Tim Nelson
Postdoctoral Research Associate
Brown University

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


Publications Service Teaching

I'm a postdoc with Shriram Krishnamurthi 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 Logic for Systems at Brown, 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: October 15th, 2015