Allen L. Mann

Visiting Assistant Professor

Department of Mathematics
Colgate University

I was a visiting assistant professor at Colgate University during the 2007-08 academic year. I am now a postdoctoral fellow at the IHPST in Paris, France.

I am no longer maintaining this web page. Check out my new web site!

Education

Ph.D. Mathematics, University of Colorado at Boulder, August 2007.

Thesis: Independence-Friendly Cylindric Set Algebras
Advisor: J. Donald Monk

M.A. Mathematics, University of Colorado at Boulder, May 2003.

Thesis: A Case Study in Automated Theorem Proving: Otter and EQP

Excerpt: A Complete Proof of the Robbins Conjecture

Advisor: J. Donald Monk

B.A. Mathematics and French cum laude, Albertson College of Idaho, June 2000.

Allen L. Mann

Visiting Assistant Professor

Department of Mathematics Colgate University

Education

Department of Mathematics
Colgate University