Professor

Philosophy

Computer and Information Science

Mathematics

Office: Logan Hall, 462

Research Areas

  • Computational Learning Theory
  • Descriptive Complexity Theory
  • Finite Model Theory
  • Mathematical Logic
  • Philosophy of Mathematics

Awards

Projects/Papers

Traversal-Invariant Characterizations of Logarithmic Space
Reconciling Individual Probability Forecasts
How can a line segment with extension be composed of extensionless points?

Students