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, information flow, programming language metatheory/semantics, security, and silly walks. A bitter category theory fetish is in the works.
Contact
| :: |  |
|||
| Office | :: | McConnell Engineering 108 | ||
| Phone | :: | 514-398-7071 ext. 09587 | ||
| Office Hours | :: | Wednesdays 10:00 - 12:00, 14:00 - 15:30, and by appointment (see calendar). |
Teaching
During the Fall 2009 semester, I am the teaching assistant for COMP 230 (Logic and Computability), taught by Prof. Dirk Schlimm. My office hours are listed in my contact information above.
Status: Fall 2009
My M.Sc. course requirements are complete since May, so these days I spend most of my time wrestling with "knowledge relations" and derivatives of the Needham-Schroeder protocol for mutual authentication.
Since 2008, I've 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 series is scheduled in January 2010.
I'm also trying to figure out what kind of job I'd like next year, how to find such a job in Montreal, and how to pay off my student loans when I graduate. Here's my CV [pdf].
Still don't know what my research is about?
The following quote lists some questions about knowledge that you might find interesting. From Dynamic Epistemic Logic, co-authored by Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi:How is it possible that two persons are both ignorant about a specific fact, i.e., they neither know whether it is true, and that, by revealing this ignorance to each other, the ignorance disappears? And how do we model such a situation? How do we explain the phenomenon that simply announcing a certain proposition makes it untrue? How is it possible that making repeatedly the "same" announcement still can have a different effect on the knowledge of the agents involved, every time the announcement is being made? How do we explain that, even when some statement is announced and this is a "common experience" in the group (i.e., everybody in a group notices that the announcement is being made, and this in itself is being noticed by everybody, etc.), that then afterwards the statement [might not] be "commonly known"?
Fledgling Photography
