I study theoretical computer science, specifically computational
complexity, which explores the power and limitations of efficient
computation. To this end we formulate and relate many models of
computation including randomness, counting, interaction, proof
systems and models based on quantum mechanics and biology. A main
focus of my recent research explores the effects of computationally
bounded agents in a variety of economics models.
