Myself
- I am currently a graduate student at Marquette University.
I am working toward a Master's degree in Mathematics.
My advisor is Wim Ruitenburg.
|
|
|
|
|
Research
|
|
|
|
Papers
- Syntactic preservation theorems and an Intuitionistic formula hierarchy (submitted).
- 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.
|
|
|
|
Talks
- April 28, 2007, Eighth Annual Graduate Student Conference in Logic (GSCL8): The Universal Fragment of an Intuitionistic JRS Theory.
- February 9 & 16, 2007, Marquette University MSCS Logic Seminar: The Universal Fragment of an Intuitionistic JRS Theory, parts I & II.
- October 24, 2006, Southern Wisconsin Logic Colloquium, University of Wisconsin--Madison: Kripke submodels and universal sentences.
- October 11 & 25, 2006, Marquette University MSCS Logic Seminar: Kripke submodels and universal sentences, parts I & II.
|
|
|
|
Education
- M.S. Marquette University (expected, 2008)
- M.S. University of Wisconsin - Madison (2001)
- B.S. University of Wisconsin - Madison (2000)
|
|
|
|