University of Wisconsin-Madison

Department of Engineering Physics, Engineering Mechanics Program

Jonathan Fleischmann's Home Page

Office: 538 ERB, Phone: 608-265-4498, e-mail:


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

Academic Background

  • Marquette University (Milwaukee, Wisconsin), 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.


    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.
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.


  • Derivation of elastic constants for a statistically isotropic granular aggregate material, (with Walter Drugan and Michael Plesha), in preparation.
  • Three-dimensional effects in discrete element simulations of nominally two-dimensional 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. 225--245.
  • 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.

Invited Conference and Colloquium Talks

  • Are 2-D DEM Simulations Good Enough?, Particulate Materials in Extreme Environments (PMEE 2010) International Workshop, Lawrence Livermore National Laboratory, September 20-24, 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 Wisconsin-Madison, October 24, 2006.

Last updated: November 2010