Faculty

Steffen Lempp Research: Computability Theory and Its Applications to Model Theory, Algebra, Proof Theory, and Computer Science lempp@math.wisc.edu   Terry Millar Research: Computability Theory millar@math.wisc.edu

Arnold W. Miller Research: Set Theory of the Real Line miller@math.wisc.edu   Joseph S. Miller Research: Computability Theory: Algorithmic Randomness, Reverse Mathematics, and Effective mathematics (primarily computable analysis and topology) joseph.miller@math.uconn.edu

Emeritus Faculty

H. Jerome Keisler Research: Model Theory and Nonstandard Analysis keisler@math.wisc.edu   Kenneth Kunen Research: Set Theory, General Topology, Algebra kunen@math.wisc.edu

Mary Ellen Rudin Research: Set-theoretic Topology mrudin@math.wisc.edu

Postdocs

Bart Kastermans Research: Set Theory kasterma@math.wisc.edu

Graduate Students

Erik Andrejko andrejko@math.wisc.edu   Achilles Beros aberos@math.wisc.edu   Kostas Beros kberos@math.wisc.edu   Ben Ellison ellison@math.wisc.edu   Dan McGinn mcginn@math.wisc.edu

Andrea Medini medini@math.wisc.edu   David Milovich milovich@math.wisc.edu   Dan Rosendorf rosendor@math.wisc.edu   Annette Spyker spyker@math.wisc.edu   Dan Turetsky turetsky@math.wisc.edu

Southern Wisconsin Logic Seminar

We meet roughly every other Tuesday afternoon at 3:30 p.m. ori 4:00 p.m. for the Southern Wisconsin Logic Colloquium, the logic seminar for UW-Madison and other universities in southern Wisconsin.

Graduate Participation Seminar in Logic

The Graduate Student Logic Seminar (GPS Logic) meets every Thursday at 4 p.m.

Recent UW logic theses on line

• Mark Ettinger (1996)
• Philip Apps (1998)
• Evan Griffiths (1998)
• Wafik Lotfallah (1998)
• Dejia Wang (2000)
• Joni Baker (2001)
• Tim Cookson (2002)
• Daniel Miller (2003)
• Berit Nilsen Givens (2003)
• Ramiro de la Vega (2005)
• Tom Kent (2005)
• Alex Raichev (2006)
• Elisa Vásquez (2006)
• Chris Alfeld (2007)
• Asher Kach (2007)
• Dilip Raghavan (2008)
• James Hunter (2008)
• Rob Owen (2008)

Related Links

Logic Qualifying Exams

Association for Symbolic Logic

---

Maintained by Steffen Lempp (lempp@math.wisc.edu)