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
    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