Paul Corazza

Paul Corazza Assistant Professor Email: pcorazza@mum.edu Home Phone: (641) 469-5039 Work Phone: (641) 472-7000 x3434

I fell in love with the mathematics of the Infinite as a boy. This interest eventually culminated in an opportunity to work on MIU faculty in the Mathematics Department (1990-1995) on parallels between Maharishi's Vedic Science and foundations of mathematics. One byproduct of this research has been a number of mathematical publications. As a graduate student I also fell in love with programming, and later developed a great fascination for object-oriented design and programming, and for the Java programming language. I learned from Ali Arsanjani some of the secrets of implementing business rules, and have had a 7-year career as a rules-engine builder for insurance and telecomm companies. Have a look at my If-Then-Else framework and also at a document describing my most recent rules engine, built for Mutual of Omaha.

Education

Postdoc, Mathematics, University of Wisconsin, Madison, 1987-1990
Ph.D., Mathematics, Auburn, 1987
B.A., Philosophy, MIU, 1978

Research interests

Computer Science: Algorithms complexity theory and finite model theory. Object-oriented design and programming. The architecture of rules engines.
Mathematics: Mathematical logic, set theory, large cardinals, the Wholeness Axiom, sets of reals.

Work experience

Eight years as a Java engineer in various roles (at Telegroup, Fireman's Fund Agribusiness, Mutual of Omaha). Fifteen years of teaching mathematics and computer science (at MUM, Auburn, University of Wisconsin, and Boise State). Part-time work as a web designer and Javascript specialist. Two years as a corporate J2EE trainer. E.piphany specialist.

Research

Ten published papers in mathematical logic. One three-part article on a Java framework I created. One textbook on Mathematical Logic and Computability.