Mathematics

• UNIVERSITY OF ILLINOIS
•  
• A-Z Index
• Enter Keyword, Phrase, or Name

  Search Type

  • Directory
  • Illinois

• 
  
• Weather

• Students
• Academic Programs
• Calendar
• Courses
• People
• Positions
• Business Office
• Faculty Resources

Search www.math.illinois.edu

    Search www.math.illinois.edu   Go Domains Sitesearch

News & events:

• Math Times
• Illinois Journal of Mathematics
• Campus News
• Campus Calendars

• People
• Research
• Seminars & Conferences
• Courses
• Exams
• Links
• Logic homepage

People in Logic

Faculty | Graduate Students | Recent Postdocs | Recent Ph.D. Graduates

Faculty

Lou van den Dries

• Office: 308 Altgeld Hall
• Phone: (217) 244-7303
• E-mail: vddries(at)math.uiuc.edu
• Web page:http://www.math.uiuc.edu/People/vddries.html and http://www.math.uiuc.edu/~vddries
• Interests: Model theory and its applications.
• PhD in 1978 at the University of Utrecht; arrived at Illinois in 1986.

C. Ward Henson

• E-mail:henson(at)math.uiuc.edu
• Web page: http://www.math.uiuc.edu/~henson/
• Interests: Model theory, continuous first-order logic, metric structures, nonstandard analysis.
• PhD in 1967 at the Massachusetts Institute of Technology; arrived at Illinois in 1975.  Professor Emeritus in 2010.
  

Carl G. Jockusch, Jr.

• E-mail: jockusch(at)math.uiuc.edu
• Web page: http://www.math.uiuc.edu/~jockusch/
• Interests: Computability theory (recursion theory) and its connections with other areas, such as model theory and combinatorics.
• PhD in 1966 at the Massachusetts Institute of Technology; arrived at Illinois in 1967. Professor Emeritus in 2004.

Slawomir Solecki

• Office: 306 Altgeld Hall
• Phone: (217) 265-0976
• E-mail: ssolecki(at)math.uiuc.edu
• Web page: http://www.math.uiuc.edu/~ssolecki/
• Interests: Set theory and its connections with other parts of mathematics.
  
• PhD in 1995 at Cal Tech; arrived at Illinois in 2001.

Postdocs

Philipp Hieronymi

• J.L. Doob Research Assistant Professor (to 2012)
  
• Office: 327 Illini Hall
  
• Phone: 217-244-0286
  
• E-mail: P(at)hieronymi.de
• Interests: o-minimality and related topics.
• PhD in 2008 at Oxford; arrived at Illinois in January, 2010.

Faculty in Related Areas

• Sergei V. Ivanov - Combinatorial group theory and its applications.
• Ilya Kapovich - Geometric and combinatorial group theory.
• Peter A. Loeb - Nonstandard analysis, potential theory, covering theorems, integration theory.
• Grigore Rosu (CS) - Logic and computer science.
  

Adjunct Faculty

• Yevgeniy Gordon
• Office: Old Main 348, Department of Mathematics and Computer Science, Eastern Illinois University, 600 Lincoln Avenue, Charleston, Illinois 61920
• Phone : (217) 581- 6282
• E-mail : cfyig(at)eiu.edu
• Web page: http://www.ux1.eiu.edu/~cfyig
• Interests: Harmonic analysis, nonstandard analysis, model theory.

Former Faculty

• Kenneth Appel (arrived in 1963, retired in 1992; moved to the University of New Hampshire; E-mail: kia(at)oregano.unh.edu )
• John W. Gray (arrived in 1962, retired in 2000; living in Urbana; E-mail: gray(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)
• Anand Pillay (appointed in 1996 as Swanlund Professor, moved to the University of Leeds in 2006; E-mail: pillay(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)
• Paul E. Schupp (arrived in 1967, retired in 2008)
• Gaisi Takeuti (arrived in 1963, retired in 1992; living in Japan; E-mail: takeuti(at)za.pial.jp)

Graduate Students

Santiago Camacho

• Arrived: Fall, 2011; from Univ. de los Andes, Bogota
• Currently: working on the comprehensive exams
  

Mahmood EtedadiAliabadi

• Arrived: Fall, 2011; from Amirkabir University (Tehran Polytechnic) 
• Currently: working on the comprehensive exams
  

Allen Gehret 

• Arrived: Fall, 2011; from Univ. of Maryland
• Currently: working on the comprehensive exams
  

Peter Glaze

• Arrived: Fall, 2010; from Univ. of Texas at Austin
• Currently: working on the comprehensive exams
  

Aleksandra Kwiatkowska

• Arrived: Fall, 2007; from University of Wroclaw, Poland
• Thesis Advisor: Slawomir Solecki
• Currently: will defend thesis in spring, 2012

Francisco Rios

• Arrived: Fall, 2005; from UC, Berkeley
• Thesis Advisor: Grigore Rosu (Computer Science)
• Currently: working on thesis research
  

Kostyantyn Slutskyy

• Arrived: Fall, 2007; from University of Kharkov; Ukraine
  
• Thesis Advisor: Christian Rosendal (UIC)
• Currently: will defend thesis in spring, 2012

Recent Postdocs

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

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

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

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

Recent PhD Graduates

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

1990-2000

2000
Keija (Joyce) Ho, Jockusch, Kolmogorov complexity, strong reducibilities, and computably enumerable sets
Markus Pomper, Henson, Types over Banach spaces
1999
Vladimir Troitsky, Loeb/Abramovich, Invariant subspace problem and spectral properties of bounded linear operators on Banach spaces, Banach lattices, and topological vector spaces
1998
Benjamin Schaeffer, Jockusch, Abstract complexity theory and the degrees of unsolvability
1997
G. Scott Rohde, Schupp, Alternating automata and the temporal logic of ordinals
1996
Patrick Speissegger, Van den Dries, The field of reals with Gevrey functions is model complete and o-minimal
Carlos Parra, Takeuti, Uniformity and bounded arithmetic below P
Jui-Lin Lee, Takeuti, Count and tree in uniform NC^1
Arthur Woerheide, Van den Dries, O-minimal homology
1995
Stephen Harnish, Takeuti, A non-well-founded set theory (GST)
Adam Lewenberg, Van den Dries, On elementary pairs of o-minimal structures
1994
Chris Miller, Van den Dries, Polynomially bounded o-minimal structures
Jose Iovino, Henson, Stable theories in functional analyisis
Armin Haken, Takeuti, The intractability of resolution
G. Beate Zimmer, Loeb, Nonstandard vector integrals and vector measures
1993
Tamara Hummel, Jockusch, Effective versions of Ramsey's theorem
1992
Jan E. Holly, Van den Dries, Definable equivalence relations and disc spaces of algebraically closed valued fields
Rodrigo De Castro, Takeuti, Combinatorial principles in second order therories of bounded arithmetic
1991
Joseph Pe, Takeuti, Polynomial-time Martin-Lof type theory
Richard W. Blaylock, Jockusch, Some results on e-genericity and recursively enumerable weak truth table degrees
Jesus Aldaz, Loeb, Representation of measures via the standard part map
1990
David Streid, Henson, The computational complexity of prefix classes of logical theories

List of all Ph.D. graduates in the Department of Mathematics