Current/future teaching:

• 18.504 (Seminar in Logic), MIT, Spring 2013

Past teaching:

• 18.995 (Applied Math for Pure Mathematicians), MIT, Fall 2012
• 18.A34 (Mathematical Problem Solving), MIT, Fall 2012
• 18.510 (Introduction to Mathematical Logic and Set Theory), MIT, Fall 2011
• 18.504 (Seminar in Logic), MIT, Spring 2011
• 18.995 (Applied Math for Pure Mathematicians), MIT, Fall 2010
• Combinatorics, PROMYS 2009
• CIMPA-UNESCO-Philippines Research School on Semidefinite Programming in Algebraic Combinatorics, July 2009
• EIDMA/DIAMANT minicourse, March 2008
• Paradoxes and the Foundations of Mathematics, SIMUW 2007
• The Mathematics of Error Correcting Codes, taught with Nati Linial, Madhu Sudan, and Alex Samorodnitsky, Oberwolfach seminar (for graduate students and postdocs), October 2006
• Theory of Equations, SIMUW 2006 (see here for problem sets and handouts)
• Math 581G (Exceptional Structures in Mathematics), taught with Charles Doran, University of Washington, Fall 2005
• Sphere Packings: Exceptional Geometric Structures and Connections to other Fields, taught with Robert Griess and Achill Schuermann, Oberwolfach seminar (for graduate students and postdocs), November 2005
• Combinatorics, SIMUW 2005
• Theory of Equations, SIMUW 2004
• Combinatorics, SIMUW 2003
• Math 583CA (Mathematical Logic), University of Washington, Spring 2003
• Math 1b (Calculus), Harvard University, Spring 2000
• Tutorial on mathematical logic and foundations of mathematics, Harvard University, Fall 1999
• Tutorial on cryptography, Harvard University, Spring 1999
• Math 21a (Multivariable Calculus), Harvard University, Fall 1998
• Tutorial on probabilistic proof systems, Harvard University, Fall 1997
• Designed and taught a ten-session math class for fourth graders in the spring of 1997 for the Math Circle program
• Course assistant for Math 212a (graduate Real Analysis), Harvard University, Fall 1996
• Counselor at the Program in Mathematics for Young Scientists at Boston University during the summers of 1992 through 1995, head counselor in 1996, and recitation instructor in 1997 and 1998
• Designed and taught an "Introduction to Proofs" class (not for credit) at MIT with Ben Raphael during January of 1994 and 1995, to prepare non-majors for taking proof-based mathematics classes
• Designed and taught ten-week weekend courses in mathematics for high school students as part of MIT's Educational Studies Program in the springs of 1992 through 1995, as well as one-weekend fall courses

A few definitions: At Harvard a tutorial is a two hour per week course for advanced undergraduates designed and taught by a graduate student (who both lectures and also supervises individual projects on which the students write term papers and deliver lectures). A course assistant runs weekly review classes to supplement the main lectures and grades problem sets.

Graduate students:

• Stephanie Vance, University of Washington, Ph.D. received 6/2009
  • Dissertation: Lattices and Sphere Packings in Euclidean Space
  • Now working for the U.S. government.
• Chris Hanusa, University of Washington, Ph.D. received 6/2005
  • Dissertation: A Gessel-Viennot-type Method for Cycle Systems and Applications to Aztec Pillows
  • Now working at Queens College.

Research students supervised:

• Gregory Minton, Microsoft Research New England, 6/2011 through 8/2011 and 6/2012 through 8/2012
• Fan Wei, Microsoft Research New England, 6/2012 through 8/2012
• Daniel Fremont, MIT Undergraduate Research Opportunities Program, 6/2012 through 8/2012
• Nathan Kaplan, Microsoft Research New England, 9/2011 through 12/2011
• Edinah Gnang, Microsoft Research New England, 6/2011 through 8/2011
• Sonya Vohra, Microsoft Research New England, 6/2011 through 8/2011
• Daniel Kane, Microsoft Research New England, 6/2010 through 8/2010
• Yufei Zhao, Microsoft Research New England, 6/2010 through 8/2010 and 6/2011 through 8/2011
• Nadia Heninger, Microsoft Research New England, 12/2009 through 2/2010 and 6/2010 through 8/2010
• Swastik Kopparty, Microsoft Research New England, 6/2009 through 8/2009
• Shubhangi Saraf, Microsoft Research New England, 6/2009 through 8/2009
• Jeechul Woo, Microsoft Research New England, 8/2008 through 12/2008 and 6/2009 through 8/2009
• Yakov Kerzhner, Microsoft Research, 6/2007 through 8/2007
• Blair Sullivan, Microsoft Research, 6/2007 through 8/2007
• Jeffrey Wang, Microsoft Research, 6/2007 through 8/2007
• Bryden Cais, Microsoft Research, 6/2005 through 8/2005
• Brandon Ballinger, University of Washington VIGRE program, 9/2004 through 6/2005
• Noah Giansiracusa, University of Washington VIGRE program, 9/2004 through 6/2005
• Elizabeth Kelly, University of Washington VIGRE program, 9/2004 through 6/2005
• Jonathan Kelner, Microsoft Research, 6/2004 through 8/2004
• Abhinav Kumar, Microsoft Research, 6/2002 through 8/2002, 8/2003, and 6/2004 through 8/2004
• Adam Smith, Microsoft Research, 6/2003 through 8/2003
• Scott Sheffield, Microsoft Research, 6/2001 through 8/2001
• Jared Weinstein, Microsoft Research, 6/2001 through 8/2001
• Vis Taraz, MIT Summer Program in Undergraduate Research, 6/1998 through 8/1998