Talks Given:

• Cornell Logic Seminar
  • Equivalents of Failures of the Axiom of Choice (October 2009)
  • Classification of Countably Categorical Linear Orderings (2 talks) (April 2010)
  • A Dichotomy Theorem Concerning the Split Interval (November 2010)
  • Free Sequences in Rosenthal Compacta (November 2010)
  • Principles Weaker than Ramsey's Theorem for Pairs (2 talks) (March 2012)
  • Parameterized Complexity (2 talks) (Sept/Oct 2012)
  • Memoryless Determinacy of Parity Games (December 2013)
  • S2S (February 2014)
  • A Nonstandard Model of the Finite Binary Strings (March 2014)
  • Axiomatizing WS1S (November 2014)
  • Courcelle's Theorem (2 talks) (Feb/Mar 2015)
  • Krohn-Rhodes as a Generating Set for the Regular Functions (November 2015)
  • Regarding Nonstandard Models of WS1S (December 2015)
• Cornell Math Teaching Seminar (Co-Organizer 2011 - 2013, 2014 - 2015)
  • Academic Job Applications (October 2015)
  • Introducing Students to Proofs (October 2011)
  • Internet Video: A Tool for Mathematics Education? (October 2012)
  • Student Evaluation of Teaching (December 2014)
• Cornell Olivetti Club Seminar
  • Equivalents of Failures of the Axiom of Choice (September 2009)
  • Schrödinger’s Computer: An Introduction to Quantum Computation (March 2010)
  • Gems from Budapest! [Geometric Graph Theory/Leading Digits of 2^n] (September 2010)
  • Tiling Problems (February 2011)
  • Singular Points of Complex Hypersurfaces (September 2011)
  • Hilbert's Tenth Problem and Related Results (March 2012)
  • Equitranslatability of Formal Languages (September 2012)
  • Grover Iteration: Cheating at Computing the Quantum Way (January 2013)
  • Of Hats, Gnomes, and Predicting the Future (October 2013)
  • An introduction to Artificial Neural Networks (February 2014)
  • Practical Programming of Integer Polynomials (September 2014)
  • Permutation Models (February 2015)
  • Really Long Words [Nonstandard Models of WS1S] (September 2015)
  • Graph Colorings and Games (February 2016)
• MAMLS-NY Graduate Student Logic Conference
  • Equivalents of Unranked Tree Automata (April 2013)
• Hudson River Undergraduate Mathematics Conference
  • The Shape of Logic (April 2006)
  • Ehrenfeucht-Fraisse Games on Linear Ordering (April 2007)
  • Equivalent Failures of the Axiom of Choice (April 2009)
• Northeastern Section of the MAA Meeting
  • Ehrenfeucht-Fraisse Games on Linear Orderings (November 2006)
• Beacon Conference
  • The Complicated Numbers (June 2005)
• Dartmouth Logic Seminar
  • Categorization of Pure Shuffles (August 2007)
• Dartmouth Mathematics Society (Treasurer 2006-2007, V. Pres. 2007-2008)
  • Surreal Numbers (October 2005)
  • The Shape of Logic (February 2006)
  • How to Quickly Write a Sudoku Solver (October 2006)
  • Linear Orderings: A Visual Approach (January 2007)
  • Ehrenfeucht-Fraisse Games (April 2007)
  • Spheres, Gnomes, and Rubber Bands: Some Really Big Hammers from BSM (January 2009)
  • The Axiom of Choice? (April 2009)
  • An Invitation to Structural Analysis (May 2009)

Publications:

• Aporia: Dartmouth Undergraduate Journal of Philosophy
  • Are Mathematical Truths A Priori? (Fall 2008)
  • On the Creations of Mathematicians (Fall 2008)
• Dartmouth Undergraduate Journal of Science
  • Equivalents of a Failure of the Axiom of Choice (March 2010)