Tim Nelson
Grad Student and Logic Monkey
Worcester Polytechnic Institute
Contact me at: tn [at] cs [dot] wpi [dot] edu.
I am a third-year PhD student in the
Applied Logic and Securty Lab
at WPI. I work 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. The project I'm working on currently is
called Margrave.
Being in the ALAS lab, I'm also interested in applied logic. My recent work
has been on fragments of order-sorted logic for which model-finding is
complete. (For more information, see our
technical report on the topic.)
My lab has moved from FL A-25 upstairs to FL 232, which is the room just to the left as you enter Fuller Labs from the 2nd floor.
In spite of the fact that it has no annoying *UNDER CONSTRUCTION* animated sign, this site is still... under construction.