I am a 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.