Myself

I am currently a Ph.D. student at the University of Wisconsin-Madison, in the department of Engineering Physics.

Academic Background

• Marquette University, M.S., 2008, Mathematics.
  
• University of Wisconsin-Oshkosh, M.S., 2005, Mathematics Education.
  
• University of Wisconsin-Madison, M.S., 2001, Engineering Mechanics.
  
• University of Wisconsin-Madison, B.S., 2000, Engineering Mechanics.

Research

I am using the Discrete Element Method to aid in creating improved continuum constitutive models for geomaterials, e.g. sand subjected to high strain-rates. My advisors are Michael Plesha and Walter Drugan.

I am continuing to do research related to my M.S. thesis from Marquette University in formal Intuitionistic Logic. In this field, I often collaborate with Wim Ruitenburg, Dan McGinn, and Ben Ellison.

Publications

(coming soon)

• Syntactic preservation theorems for Intuitionistic predicate logic, Notre Dame Journal of Formal Logic (accepted 2009).
  
• Quantifier elimination for a class of Intuitionistic theories (with Ben Ellison, Dan McGinn, and Wim Ruitenburg), Notre Dame Journal of Formal Logic 49 (2008), pp. 281--293.
  
• Kripke submodels and universal sentences (with Ben Ellison, Dan McGinn, and Wim Ruitenburg), Mathematical Logic Quarterly 53 (2007), pp. 311--320.

Conference and Colloquium Talks

(coming soon)

• The Universal Fragment of an Intuitionistic JRS Theory, Eighth Annual Graduate Student Conference in Logic (GSCL8), April 28, 2007.
  
• Kripke submodels and universal sentences, Southern Wisconsin Logic Colloquium (SWLC), University of Wisconsin-Madison, October 24, 2006.