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

• Office: 310 Altgeld Hall
• Phone: (217) 333-2768
• E-mail:henson@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.

Carl G. Jockusch, Jr.

• Office: 301 Altgeld Hall
• Phone: (217) 333-2042
• E-mail: jockusch@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. Emeritus Professor in 2004.

Slawomir Solecki

• Office: 306 Altgeld Hall
• Phone: (217) 265-0976
• E-mail: ssolecki@math.uiuc.edu
• Web page: http://www.math.uiuc.edu/~ssolecki/
• Interests: Set
• PhD in 1995 at Cal Tech; arrived at Illinois in 2001.

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.

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@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@oregano.unh.edu )
• John W. Gray (arrived in 1962, retired in 2000; living in Urbana; E-mail: gray@math.uiuc.edu )
• Margit Messmer (arrived in 1996, moved to the University of Leeds in 2005)
• Anand Pillay (appointed in 1996 as Swanlund Professor, moved to the University of Leeds in 2005)
• Christian Rosendal (arrived in 2005, moved to the University of Illinois at Chicago in 2008)
• Paul E. Schupp (arrived in 1967, retired in 2008)
• Gaisi Takeuti (arrived in 1963, retired in 1992; living in Philadelphia and Japan; E-mail: takeuti@saul.cis.upenn.edu, takeuti@math.tsukuba.ac.jp)

Graduate Students

Aaron Hill

• Arrived:Fall, 2006; from Brigham Young University
• Thesis Advisor: Slawomir Solecki
• Currently: working on thesis research

Aleksandra Kwiatkowska

• Arrived: Fall, 2007; from University of Wroclaw, Poland
• Thesis Advisor: Slawomir Solecki
• Currently: working on thesis research

Jesse Miller

• Arrived: Fall, 2004; from Oberlin College
• Thesis Advisor: Peter Loeb
• Currently: working on thesis research

Francisco Rios

• Arrived: Fall, 2005; from UC, Berkeley
• Academic Advisor: C. Ward Henson
• Currently: preparing for the preliminary exam

Maya Saran

• Arrived: Fall, 1999; from St. Stephens College; India
• Thesis Advisor: Slawomir Solecki
• Currently: working on thesis research

Kostyantyn Slutskyy

• Arrived: Fall, 2007; from University of Kharkov; Ukraine
  
• Thesis Advisor: Christian Rosendal (UIC)
• Currently: working on thesis research

ShiChang Song

• Arrived: Fall, 2004; from Beijing University; China
• Thesis Advisor: C. Ward Henson
• Currently: working on thesis research

Recent Postdocs

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

• First position after postdoc: Assistant Professor, Universidad Nacional de Colombia, Bogota.
• Web page: http://www.matematicas.unal.edu.co/~aberenst/

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

• First position after postdoc: Assistant Professor, Western Illinois University.

Tobias Kaiser, Model Theory Postdoctoral Fellow, 2002-03

• First position after postdoc: returned to the University of Regensburg, Germany.

Piotr Kowalski, Model Theory Postdoctoral Fellow, 2002-04

• First position after postdoc: University of Wroclaw.
• Web page: http://www.math.uni.wroc.pl/~pkowa/

Krzysztof Krupinski, Visiting Assistant Professor, 2005-08

• First position after postdoc: returned to University of Wroclaw.

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

• First position after postdoc: Univ. de Lyon 1.

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

• First position after postdoc: Assistant Professor at California State University at Dominguez Hills.
• Web page: http://www.csudh.edu/math/wpong/

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

• First position after postdoc: Visiting Assistant Professor of Mathematics at the Wilkes Honors College of the Florida Atlantic University.

Recent PhD Graduates

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

• 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