Office: Katharine Reed Cudahy Hall RM 384
Phone: 414-288-5384
Email: wimr{at}mscs.mu.edu
Home Page: http://www.mscs.mu.edu/~wimr

• Theory of Differential Equations
• Calculus
• Logical Seminar

• Constructive Algebra; Symbolic Logic.

• Quantier elimination for a class of intuitionistic theories, (with Ben Ellison, Jonathan Fleischmann, and Dan McGinn), Notre Dame Journal of Formal Logic 49, No. 3 (2008), pp. 281-293.