People in Logic
Faculty | Graduate Students | Recent Postdocs | Recent Ph.D. Graduates
Faculty
- 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.
- 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.
Philipp Hieronymi
- E-mail: phierony (at) illinois.edu
- Web page: http://www.math.uiuc.edu/~phierony/
- Interests: o-minimality and related topics.
- PhD in 2008 at Oxford; J.L. Doob Research Assistant Professor at Illinois, 2010-2012; Asst. Professor at Illinois, Fall 2012
- 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.
- 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.
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
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