About
I just obtained an M.Sc. in Computer Science under the supervision of Prakash Panangaden. Look, I wrote a thesis called "An epistemic analysis of authentication." My research has now taken a turn toward compiler design. In the past, I have also been interested in {intuitionistic, modal} logic, formal verification, communication, security, and silly walks. I'm also really into teaching.
Status: Spring/Summer 2011
I'm working with Laurie Hendren as part of the McLab Project.
Since 2008, I've also been working as a Science Graduate Teaching Fellow. This means I design and lead teaching-skills workshops for graduate students organized by the Tomlinson Project in University-Level Science Education. Our next workshop is scheduled for August 2011.
Fledgling Photography
