UF Logic

The Logic Group at the University of Florida is an interdisciplinary group of mathematicians, computer scientists and philosophers.

The group hosts the SouthEastern Logic Symposium (here is the 2006 SEALS group photo), and has been the site of meetings of the Association for Symbolic Logic and the Society for Exact Philosophy.

September 2006 - June 2007, there will be a UF Special Year in Logic with support from the National Science Foundation among other organizations.

Faculty

• Douglas Cenzer, Mathematics
• Gerard Emch, Mathematics
• Jean A. Larson, Mathematics
• Chuang Liu, Philosophy
• William Mitchell, Mathematics
• Greg Ray, Philosophy
• Beverly A. Sanders, Computer Science
• Meera Sitharam, Computer Science
• Rick Smith, Mathematics
• Jindrich Zapletal, Mathematics
• Jay Zeman, Philosophy

Graduate Students

• Emil Badici, philosophy
• Paul Brodhead, mathematics
• Jesse Butler, philosophy
• YoungJoon Byun, computer science
• Seyyed Ali Dashti, mathematics
• Pedro Morales, computer science
• James vanHouten, philosophy
• Mohammad Tarifi, computer science

Recent graduates

• Diego Rojas, Mathematics, Ph.D. 2005, under Mitchell,
  first job: post doc at UF
• Yuan-Chuan Sheu, Mathematics, Ph.D. 2005, under Zapletal
• Zia Uddin, Mathematics, Ph.D. 2004, under Cenzer
  first job: Assistant Professor of Mathematics at Lock Haven University of Pennsylvania
• Hector Andrade, Computer Science, Ph.D. 2001, under Sanders,
  first job: Professor at Veracruz Institute of Technology
• Omar De la Cruz, Mathematics, Ph.D. August, 2000 under Mitchell,
  first job: postdoc at Purdue University.
• John Peoples, Philosophy, Ph.D. May 2000, under Ray and Luttwig
• Amy Vanderbilt, Mathematics, Ph.D. May 2000, under Cenzer,
  first job: tenure track at Xavier University.
• Jeff Leaning, Mathematics, August 1999, under Mitchell,
  first job: cryptosystems patent examiner at the United States Patent Office.
• William Moser, Mathematics, Ph.D. August 1996, under Cenzer,
  first job: systems analyst at Sagent Corporation.
• Michael Jamieson, Mathematics, Ph.D. August 1994, under Smith,
  first tenure-track job: Central Florida Community College

Colloquia and Seminars at the University of Florida

• Logic Colloquium:
  Fridaydays, 4:05, 339 Little Hall (Atrium)

• Set Theory Seminar:
  Tuesdays, 10:40, 368 Little Hall

• Computability Seminar:
  Mondays, 10:40, 305 Little Hall

• Geometry, Graphics, Vision, Visualization Seminar:
  Fridays 1:55 CSE 404

• Mathematics Department Colloquia

• Philosophy Department Colloquia and Seminars