Zavain Dar

zdar@stanford.edu

Background

I am currently a graduate student in Computer Science and Philosophy @ Stanford.
As an undergrad I studied Symbolic Systems with a concentration in Mathematical Logic.
I attended Maybeck High School.
My interests include computability theory, logic, metaphysics, social justice, social networks, statistics and probability theory, and entrepeneurship.

Teaching

In Summer 2011 I was a TA for CS154, Automata and Complexity.
In Spring 2011 I was a TA for CS227b, General Game Playing.
In Winter 2011 I was a TA for CS161, Design and Analysis of Algorithms.
In Fall 2010 I was a TA for CS157, Computational Logic.
In Winter 2010 I was a TA for Phil151, First-Order Logic.

Research and Recent Work

I am currently a Research Assistant in the Stanford Logic Group. As part of this work, I co-chaired the 2011 General Game Playing Competition which took place in July (2011) in Barcelona in conjunction with IJCAI.
Here is a paper on using Dynamic Epistemic Logic to model automated agents' knowledge in General Game Playing.
Here are some slides for a presentation I gave at a Mathematical Logic Seminar in April, 2011.
Here are some older slides for a presentation I gave at a Mathematical Logic Seminar on March 1, 2011.
Here's a white paper on Knowledge Management I recently worked on. This was sponsered by grant from Konica Minolta and Stanford's MediaX.

Left Overs

In my free time I work with some friends on a little project called fountainhop.

bathroom occurences:

My Erdos Number is somewhere (strictly) between ℵ₀ and ℵ₁. (I'm still trying to figure out the exact cardinal value)