Myself
I am currently a Ph.D. candidate at the University of WisconsinMadison,
in the department of Engineering Physics.
Academic Background
 Marquette University (Milwaukee, Wisconsin), M.S., 2008, Mathematics.
 University of WisconsinOshkosh, M.S., 2005, Mathematics Education.
 University of WisconsinMadison, M.S., 2001, Engineering Mechanics.
 University of WisconsinMadison, B.S., 2000, Engineering Mechanics.
Research
Mechanics
I am using the
Discrete Element Method
to aid in creating improved continuum constitutive models for geomaterials,
e.g. sand subjected to high strainrates.
My advisors are Michael
Plesha
and Walter
Drugan.
Mathematical Logic
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 Ben
Ellison,
Dan McGinn,
and Wim
Ruitenburg.
Publications
Mechanics
 Derivation of elastic constants for a statistically isotropic granular
aggregate material,
(with Walter Drugan and Michael Plesha),
in preparation.
 Threedimensional effects in discrete element simulations of nominally
twodimensional shear flow,
(with Michael Plesha and Walter Drugan),
submitted.
Mathematical Logic
 Syntactic preservation theorems for Intuitionistic predicate logic,
Notre Dame Journal of Formal Logic 51 (2010), pp. 225245.
 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. 281293.
 Kripke submodels and universal sentences
(with Ben Ellison, Dan McGinn, and Wim Ruitenburg),
Mathematical Logic Quarterly 53 (2007), pp. 311320.
Invited Conference and Colloquium Talks
Mechanics
 Are 2D DEM Simulations Good Enough?,
Particulate Materials in Extreme Environments
(PMEE 2010)
International Workshop,
Lawrence Livermore National Laboratory,
September 2024, 2010.
Mathematical Logic
 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 WisconsinMadison,
October 24, 2006.
