Professor

Office: Katharine Reed Cudahy Hall, Room 384
Phone: (414) 288-5384
E-mail: wimr{at}
mscs{dot}mu{dot}edu
Homepage

Classes typically taught:

• Theory of Differential Equations
• Calculus
• Logical Seminar

Research interests:

• Constructive Algebra; Symbolic Logic.

Selected publications:

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

• Intuitionistic axiomatizastions for bounded extension Kripke models (with Mohammad Ardeshir and Saeed Salehi), Annals of Pure and Applied Logic 124 (2003), pp. 267-285.

• Basic propositional calculus II. Interpolation (with Mohommad Ardeshir), Archive for Mathematical Logic 40, No. 5 (2001), pp. 349-364.
• Basic logic, K4, and persistence, Studia Logica 63, No. 3 (1999), pp. 343-352

• Basic predicate calculus, Notre Dame Journal of Formal Logic 39, No. 1 (1998), pp. 18-46.

SITE MENU

• Undergraduate studies
• Graduate studies
• Faculty and staff
• Alumni
• Student resources

Summer 2013 Research Experience

The Department of Mathematics, Statistics and Computer Science is hosting the NSF-funded Summer 2013 Research Experience (REU) for Undergraduates. This program provides U.S. undergraduates with an intensive, faculty-mentored, summer research experience in the areas of applied mathematics, high-performance computing, statistics, ubiquitous systems and mathematics education. Learn more