About
I am a Master's student at McGill's School of Computer Science expecting to complete my degree requirements by the end of August 2010. My advisor is Prakash Panangaden. A thesis topic is yet to be determined, but it seems to be heading in the general direction of formal reasoning about knowledge in a multi-agent system with dynamic update. In particular, we're interested in dealing with dynamic update that not only affects agents' beliefs about the world they're in, but also the state of that world. More generally, my research interests include {intuitionistic, modal} logic, formal verification, communication, security, and silly walks.
Status: Winter 2010
My M.Sc. course requirements are complete since last May, so these days I spend most of my time wrestling with "knowledge relations" and variants of the Needham-Schroeder protocol for mutual authentication. Sometimes I wonder:
- What is the role of common knowledge in an authentication protocol such as Needham-Schroeder?
- What is the essence of mutual authentication, and how can it be expressed using formal epistemic logic (i.e. in terms what agents know)?
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 at the end of August 2010. This semester, we are also hosting a series of small discussion sessions for Faculty of Science TAs to help them implement strategies demonstrated during our above-mentioned workshops.
Fledgling Photography
