picture Tim Nelson
Postdoctoral Research Associate
Brown University

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

I'm a postdoc with Shriram Krishnamurthi at Brown University.

Previously, I was a PhD student in the Applied Logic and Securty Lab at WPI, working with Kathi Fisler and Dan Dougherty (of WPI), and Shriram Krishnamurthi (of Brown University) on tools that help people understand the consequences of access-control policies they write.

My Publications page
My Talks page

I'm teaching (Spring 2014): Logic for Hackers

Last modified: February 28th, 2014