In the past he was a member of the research staff at Bell Laboratories. His research interests are in theoretical computer science, including: algorithmic game theory, equilibrium computation, algorithmic analysis and verification of probabilistic systems, Markov decision processes, stochastic games, analysis of infinite-state systems, model checking, automata, logic, and computational complexity theory.