Denis Roman Hirschfeldt

Department of Mathematics
University of Chicago
5734 S. University Ave.
Chicago, IL 60637
U.S.A.
1-773-702-7375
1-773-702-9787 (fax)
drh@math.uchicago.edu
www.math.uchicago.edu/~drh


Citizenship


Research Interests


Education


Employment


Grants


Honors and Awards


Talks

  • Special Session on Computability Across Mathematics, AMS Sectional Meeting, October 2013, St. Louis, MO.
  • Buenos Aires Semester in Computability, Complexity and Randomness, May 2013, Buenos Aires, Argentina.
  • Special Session on Computable Structure/Model Theory, Association for Symbolic Logic Annual Meeting, May 2013, Waterloo, Canada.
  • Special Session on Computability and Complexity in Discrete and Continuous Worlds, AMS Sectional Meeting, April 2013, Ames, IA.
  • Midwest Computability Seminar, April 2013, Chicago, IL.
  • Special Session on Effective Algebra and Model Theory, AMS Annual Meeting, January 2013, San Diego, CA.
  • Invited Lecture, Logic and Computability Session, 4th Latin American Congress of Mathematicians, August 2012, Córdoba, Argentina.
  • The Incomputable, June 2012, Chicheley Hall, UK.
  • Plenary Lecture, 15th Latin American Symposium on Mathematical Logic, June 2012, Bogotá, Colombia.
  • Short Course on Reverse Mathematics of Combinatorial Principles, April-May 2012, Hebrew University, Israel.
  • Special Session on Computability and its Applications, AMS Sectional Meeting, November 2010, South Bend, IN.
  • Short Course on Reverse Mathematics of Combinatorial Principles, Asian Initiative for Infinity Summer School, July 2010, Singapore.
  • Plenary Lecture, Computability in Europe, June - July 2010, Ponta Delgada, Portugal.
  • 5th Conference on Logic, Computability, and Randomness, May 2010, South Bend, IN.
  • Southeastern Logic Symposium, February 2010, Gainesville, FL.
  • Special Session on Computability Theory, Logic Colloquium, August 2009, Sofia, Bulgaria.
  • Foundational Adventures: A Conference in Honor of Harvey M. Friedman, May 2009, Columbus, OH.
  • Marden Lecture, University of Wisconsin-Milwaukee, April 2009, Milwaukee, WI.
  • Tutorial on Algorithmic Randomness, NZIMA / NZMRI summer workshop, January 2009, Napier, New Zealand.
  • Computability, Reverse Mathematics, and Combinatorics, December 2008, Banff International Research Station, Canada.
  • Special Session on Computability Theory and Effective Algebra, AMS Sectional Meeting, October 2008, Middletown, CT.
  • Workshop on the Effective Mathematics of the Uncountable, August 2008, New York, NY.
  • Memorial Meeting in Honor of Andrei Muchnik, March 2008, Moscow, Russia.
  • Special Session on Computability Theory, Joint AMS-NZMS Meeting, December 2007, Wellington, New Zealand.
  • Keynote Talk, Algorithmic-Logical Theory of Infinite Structures, October - November 2007, Schloss Dagstuhl Research Center for Computer Science, Germany.
  • Keynote Address, 8th Graduate Student Conference in Logic, April 2007, Chicago, IL.
  • Plenary Lecture, Association for Symbolic Logic Annual Meeting, March 2007, Gainesville, FL.
  • Workshop on Model Theory and Computable Model Theory, February 2007, Gainesville, FL.
  • Tutorial on Algorithmic Randomness, Third International Conference on Computability and Complexity in Analysis, November 2006, Gainesville, FL.
  • Special Session on Computability Theory in Honor of Manuel Lerman's Retirement, AMS Sectional Meeting, October 2006, Storrs, CT.
  • Special Session on Randomness and Real Computation, Theory and Applications of Models of Computation (TAMC 06), May 2006, Beijing, China.
  • Special Session on Model Theory and Computability, AMS Sectional Meeting, April 2006, South Bend, IN.
  • Kolmogorov Complexity and Applications, January - February 2006, Schloss Dagstuhl Research Center for Computer Science, Germany.
  • Computational Prospects of Infinity, June - August 2005, Singapore.
  • 11th Southeastern Logic Symposium, April 2005, Gainesville, FL.
  • Special Session on Computability and Randomness, Association for Symbolic Logic Annual Meeting, March 2005, Stanford, CA.
  • UCLA Logic Meeting, February 2005, Los Angeles, CA.
  • Special Session on Reverse Mathematics, AMS Annual Meeting, January 2005, Atlanta, GA.
  • North Texas Logic Conference, October 2004, Denton, TX.
  • 10th Southeastern Logic Symposium, March 2004, Gainesville, FL.
  • Logic Section, 12th International Congress of Logic Methodology and Philosophy of Science, August 2003, Oviedo, Spain.
  • Plenary Lecture, Greater Boston Logic Meeting, May 2003, Boston, MA.
  • Kolmogorov Complexity and Applications, April 2003, Schloss Dagstuhl Research Center for Computer Science, Germany.
  • Special Session on Computability and Models, AMS Annual Meeting, January 2003, Baltimore, MD.
  • Special Session on Effectiveness Questions in Model Theory, AMS Sectional Meeting, October 2002, Madison, WI.
  • Midwest Model Theory Meeting, April 2002, Chicago, IL.
  • Special Session on Computability Theory with Applications, AMS Annual Meeting, January 2002, San Diego, CA.
  • Computability and Complexity in Analysis, November 2001, Schloss Dagstuhl Research Center for Computer Science, Germany.
  • 26th International Symposium on Mathematical Foundations of Computer Science (MFCS 2001), August 2001, Mariánské Lázne, Czech Republic.
  • Special Session on Computability Theory, Association for Symbolic Logic European Summer Meeting, August 2001, Vienna, Austria.
  • Plenary Lecture, Association for Symbolic Logic Annual Meeting, March 2001, Philadelphia, PA.
  • 18th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2001), February 2001, Dresden, Germany.
  • Computability Theory Meeting, January 2001, Oberwolfach, Germany.
  • Plenary Lecture, Association for Symbolic Logic Winter Meeting, January 2001, New Orleans, LA.
  • Plenary Lecture, Logic and Applications Meeting, May 2000, Novosibirsk, Russia.
  • Special Session on Computability Theory, AMS Sectional Meeting, March 1999, Gainesville, FL.
  • Special Session on Computability Theory, Association for Symbolic Logic European Summer Meeting, August 1998, Prague, Czech Republic.
  • Special Session on Computability Theory, AMS Sectional Meeting, October 1997, Milwaukee, WI.
  • Colloquia and seminars at various universities.


    Courses Taught


    Graduate Students Examined or Advised


    Professional Activities and Memberships


    List of Publications


    Books


    Papers