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

  • Tutorial on the Computability Theory and Reverse Mathematics of Combinatorial Principles, Association for Symbolic Logic Annual North American Meeting, May 2016, Storrs, CT
  • Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, September 2015, Schloss Dagstuhl Research Center for Computer Science, Germany
  • Computability, Analysis, and Geometry, March 2015, Banff International Research Station, Canada
  • Plenary Lecture, Southeastern Logic Symposium, February - March 2015, Gainesville, FL
  • Special Session on Computability Theory, CMS Winter Meeting, December 2014, Hamilton, Canada
  • 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