Logic

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 in 345 AH
    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 in 345 AH
    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 can subscribe to this list under lists.illinois.edu/lists/subscribe/logic.

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

Ruiyuan (Ronnie) Chen (ruiyuan at illinois.edu) - Connections between descriptive set theory, model theory, and categorical logic.

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

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

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

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

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

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

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

Christian Schulz - arrived: Fall 2017; from Rose Hulman Institute of Technology, Advisor: Hieronymi

Jenna Zomback - arrived: Fall 2017, from SUNY Geneseo, Advisor: Tserunyan

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

Erik Walsberg, J.L. Doob Research Assistant Professor, 2016-19

Recent PhD Graduates

2019

Travis Nell

  • Thesis title: Distality in pairs
  • Thesis Advisor: Philipp Hieronym
  • First position: TBA

Chieu Minh Tran

  • Thesis title: Model theory in partially random structures
  • Thesis Advisor: Lou van den Dries
  • First position: Postdoc Notre Dame

2018

Anton Bernshteyn

  • Thesis title: Coloring problems in combinatorics and descriptive set theory
  • Thesis Advisor: Alexandr Kostochka and Anush Tserunyan
  • First position: Postdoc CMU

Santiago Camacho

  • Thesis title: Truncation in Differential Hahn Fields
  • Thesis Advisor: Lou van den Dries
  • First position: Postdoc Illinois Wesleyan

Erin Caulfield

  • Thesis title: Classifying expansions of the real field by complex subgroups
  • Thesis Advisor: Philipp Hieronymi
  • First position: Postdoc McMaster University

Mahmood Etedadi Aliabadi

  • Thesis title: Generic behaviour of a measure preserving transformation
  • Thesis Advisor: Slawomir Solecki
  • First position: Postdoc North Texas

Tigran Hakobyan

  • Thesis title: Algebraically closed fields with characters; differential-henselian monotone valued differential fields
  • Thesis Advisor: Lou van den Dries
  • First position: Software Engineer at Facebook

 

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