The graduate program in mathematical logic at the University of Illinois at Urbana-Champaign is one of the most active such programs in the world, with a large community of faculty and students. Most aspects of the subject are represented here, especially model theory and its applications and descriptive set theory. A particular emphasis of our program is on the connections of logic to other important areas of mathematics.

## Weekly Logic Seminars

**Logic Seminar**

Tuesdays at 1:00pm

This seminar is preceded by "logic lunch" which starts at 11:30am; meet in the mailroom (250 Altgeld). For announcements of talks click here.**Model Theory and Descriptive Set Theory Seminar**

Fridays at 4:00pm

Often this seminar is devoted to carefully reading an important new paper or covering a currently active research topic. For announcements of talks click here. This seminar is followed by a social gathering at around 5:10pm -- the location is announced by email to the logic list (see below).**Email announcements**

The Illinois logic group maintains a distribution list of people interested in news about activities of our logic program. Anyone interested in being added to this list should send email to Philipp Hieronymi.

## People in Logic

### Faculty

**Lou van den Dries** (vddries(at)math.uiuc.edu) - Model theory and its applications.

**Philipp Hieronymi** (phierony (at) illinois.edu) - Model theory and its applications.

**Anush Tserunyan** (anush (at) illinois.edu) - Interplay between descriptive set theory, ergodic theory, and Borel combinatorics; applications of logic to arithmetic combinatorics.

### Postdocs

**Erik Walsberg** (erikw (at) illinois.edu) - Model theory and model theoretic tame topology.

### Emeritus Faculty

**C. Ward Henson** (henson (at) math.uiuc.edu)- Model theory, continuous first-order logic, metric structures, nonstandard analysis.

**Carl G. Jockusch, Jr.** (jockusch(at)math.uiuc.edu) - Computability theory (recursion theory) and its connections with other areas.

**Anand Pillay** (apillay(at)nd.edu)

**Paul E. Schupp** (schupp(at)illinois.edu)

### Faculty in Related Areas

Sergei Ivanov - Combinatorial group theory and its applications.

Ilya Kapovich - Geometric and combinatorial group theory.

Peter A. Loeb - Nonstandard analysis, potential theory.

Grigore Rosu (CS) - Logic and computer science.

### Adjunct Faculty

Yevgeniy Gordon (cfyig(at)eiu.edu) - Harmonic analysis, nonstandard analysis, model theory

### Graduate Students

**Anton Bernshteyn** - arrived Fall 2014; from Novosibirsk State University, Advisors: Kostochka and Tserunyan

**Neer Bhardwaj** - arrived: Fall 2015; from IIT Kanpu, Advisor: van den Dries

**Alexi Block Gorman** - arrived: Fall 2016; from Wellesley College, Advisor: Hieronymi

**Santiago Camacho** - arrived: Fall 2011; from Univ. de los Andes, Advisor: van den Dries

**Erin Caulfield** - arrived: Fall 2012; from Univ. of Hawaii, Advisor: Hieronymi

**Mahmood EtedadiAliabadi ** - arrived: Fall 2011; from Amirkabir University (Tehran Polytechnic), Advisor: Solecki

**Mary Angelica Gramcko-Tursi** - arrived: Fall 2013; from Franciscan University

**Tigran Hakobyan** - arrived: Fall 2012; from Yerevan State University, Advisor: van den Dries

**Dakota Ihli** - arrived: Fall 2016; from North Dakota State University, Advisor: Tserunyan

**Elliot Kaplan** - arrived: Fall 2015; from Ohio University, Advisor: van den Dries

**Travis Nell** - arrived: Fall 2013; from Carnegie Mellon University, Advisor: Hieronymi

**Nigel Pynn-Coates** - arrived: Fall, 2014; from McMaster University, Advisor: van den Dries

**Minh Tran** - arrived: Fall 2013; from National Univ. Singapore, Advisor: van den Dries

### Former Faculty

- Slawomir Solecki (arrived in 2001, moved to Cornell 2017, E-mail: ssolecki(at)math.uiuc.edu)
- Margit Messmer (arrived in 1996, moved to the University of Leeds in 2006; E-mail: messmer(at)math.leeds.ac.uk)
- Christian Rosendal (arrived in 2005, moved to the University of Illinois at Chicago in 2008; E-mail: rosendal(at)math.uic.edu)

### Recent Postdocs

**Alexander Berenstein**, J.L. Doob Research Assistant Professor, 2002-05

**Clifton Ealy**, J.L. Doob Research Assistant Professor, 2004-07

**Philipp Hieronymi**, J. L. Doob Research Assistant Professor, 2010-12

**Tobias Kaiser**, Model Theory Postdoctoral Fellow, 2002-03

**Piotr Kowalski**, Model Theory Postdoctoral Fellow, 2002-04

**Krzysztof Krupinski**, Visiting Assistant Professor, 2005-08

**Julien Melleray**, J. L. Doob Research Assistant Professor, 2006-07

**Wai Yan Pong**, J.L. Doob Research Assistant Professor, 1999-2002

**Marcin Sabok,** Visiting Assistant Professor, Spring and Fall, 2011

**Anush Tserunyan, **J. L. Doob Research Assistant Professor, 2013-15

**Evgueni Vassiliev** (Yevgeniy Vasilyev), J.L. Doob Research Assistant Professor, 2001-04

### Recent PhD Graduates

#### 2017

**Allen Gehret**

- Thesis title: Towards a model theory of logarithmic transseries
- Thesis Advisor: Lou van den Dries
- First position: NSF Postdoc at UCLA

**Aristotelis Panagiotopoulos**

- Thesis title: Structures and Dynamics
- Thesis Advisor: Slawomir Solecki
- First position: Postdoc at Caltech

#### 2014

**Min Zhao**

- Thesis title: Ramsey theory and its application
- Thesis Advisor: Slawomir Solecki
- First position: Fedex

#### 2012

**Aleksandra Kwiatkowska**

- Thesis title: Dynamics of Polish groups
- Thesis Advisor: Slawomir Solecki
- First position: Hedrick Assistant Adjunct Professor at UCLA

**Kostyantyn Slutskyy**

- Thesis title: Extending Partial Isomorphisms
- Thesis Advisor: Christian Rosendal (UIC)
- First position: Postdoc at University of Copenhagen

#### 2011

**Aaron Hill**

- Thesis title: Centralizers in Automorphism Groups.
- Thesis advisor: Slawomir Solecki.
- First position: postdoc at Univ. of N. Texas.

**Jesse Miller**

- Thesis title: Nonstandard Techniques in Lifting Theory.
- Thesis advisor: Peter Loeb.
- First position: Univ. of Texas at Austin.

**Shichang Song**

- Thesis title: Model Theory and Probability
- Thesis advisor: C. Ward Henson
- First position: Academy of Sciences, Beijing

#### 2010

**Maya Saran**

- Thesis title: Some Results on G-delta Ideals of Compact Sets.
- Thesis advisor: Slawomir Solecki.

#### 2009

**Sylvia E.B. Carlisle**

- Thesis title: Model Theory of R-trees and their Isometries.
- Thesis advisor: C. Ward Henson.
- First position: Asst. Prof. at Eastern Illinois University.

**Isaac Goldbring **

- Thesis title: Nonstandard Methods in Lie Theory.
- Thesis advisor: Lou van den Dries.
- First positions: postdoc at UCLA.

**Vinicius Cifu Lopes **

- Thesis title: Grothendieck Semirings and Definable Endofunctors.
- Thesis advisor: Lou van den Dries.
- First position: in Brazil.

**Hernando Tellez **

- Thesis title: Contributions to Model Theory of Metric Structures.
- Thesis advisor: C. Ward Henson.
- First position: St. Ambrose University.

#### 2008

**Zhou (JoJo) Dong**

- Thesis title: The Injective Envelope as the Space of Extremal Functions.
- Thesis advisor: Slawomir Solecki.

**Ayhan Gunaydin **

- Thesis title: Model Theory of Fields with Multiplicative Groups.
- Thesis advisor: Lou van den Dries.
- First positions: postdocs at University of Oxford, then Fields Institute, then Lisbon.

**Jana Marikova **

- Thesis title: O-minimal Fields with Standard Part Map.
- Thesis advisor: Lou van den Dries.
- First position: postdoc at McMaster University.

**Javier Moreno **

- Thesis title: Iterative Differential Galois Theory in Positive Characteristic: A Model Theoretic Approach.
- Thesis advisor: Anand Pillay.
- First position: postdoc at University of Lyon 1.

#### 2007

**Salih Azgin**

- Thesis title: Model Theory of Valued Difference Fields.
- Thesis advisor: Lou van den Dries.
- First position: postdoc at McMaster University.

**Maciej Malicki **

- Thesis title: Topologies and Metrics on Polish Groups.
- Thesis advisor: Slawomir Solecki.
- First position: postdoc at the Polish Academy of Sciences.

**Konstantinos Schoretsanitis **

- Thesis title: Fraisse Theory for Metric Structures.
- Thesis advisor: C. Ward Henson.

**Sonat Suer **

- Thesis title: Model Theory of Differentially Closed Fields with Several Commuting Derivations.
- Thesis advisor: Anand Pillay.
- First positions: in Turkey, then postdoc at National University, Bogota.

#### 2006

**Pedro Poitevin**

- Thesis title: Model Theory of Nakano Spaces.
- Thesis advisor: C. Ward Henson
- First position: Assistant Professor, Salem State College, Massachusetts.

#### 2005

**Dominika Polkowska**

- Thesis title: Bounded Pseudoalgebraically Closed Structures.
- Thesis advisor: Anand Pillay
- First position: entered the Dominican Sisters of Saint Cecilia Congregation, Nashville

#### 2004

**Jerry Gagelman**

- Thesis title: Stability in Geometric Theories
- Thesis advisor: Anand Pillay
- First position: Wissenschaftlicher Mitarbeiter at the Technische Universitaet Berlin

**Alfio Giarlotta **

- Thesis title: Lexicographic products of linear orderings
- Thesis advisor: C. Ward Henson
- First position: Assistant Professor, Faculty of Economics, University of Catania, Italy (since 1994)

**Joe Mileti **

- Thesis title: Partition Theorems and Computability Theory
- Thesis advisor: Carl G. Jockusch
- First position: L.E. Dickson Instructor at the University of Chicago

#### 2003

**Amador Martin Pizarro**

- Thesis title: Algebraic curves over supersimple fields
- Thesis advisor: Anand Pillay
- First position: Wissenschaftlicher Mitarbeiter at the Humboldt Universitaet zu Berlin

**Thomas Rohwer **

- Thesis title: Valued difference fields as modules over twisted polynomial rings
- Thesis Advisor: Lou van den Dries
- First position: Manager Software Solutions, TNG -The Net Generation

**James Tyne **

- Thesis title: T-levels and T-convexity
- Thesis Advisor: Lou van den Dries
- First position: VIGRE postdoc at Ohio State

#### 2002

**Brian Dunphy **

- Thesis title: Parametricity as a notion of uniformity in reflexive graphs
- Advisor: Uday Reddy (CS); C. Ward Henson
- First position: National Security Agency

#### 2001

**Matthias Aschenbrenner **

- Thesis title: Ideal membership in polynomial rings over the integers
- Advisor: Lou van den Dries
- First position: Ch. B. Morrey Jr. Visiting Assistant Professor at University of California, Berkeley

**Rahim Moosa **

- Thesis title: Model-theoretic results in algebraic and complex analytic geometry
- Advisor: Anand Pillay
- First position: NSERC (Canada) postdoc at University of California, Berkeley, and Moore Instructorship at MIT

**Linda Lawton **

- Thesis title: Decision problems in the lattice of PI^0_1 classes
- Advisor: Carl G. Jockusch
- First position: Assistant Professor at Western Illinois University