Computation | Non-deterministic Turing machine | Interdisciplinary Center for Neural Computation | Indeterminacy in computation | Human-based computation game | Deterministic automaton | computation | Approximate Bayesian Computation | Approximate Bayesian computation | Adiabatic quantum computation |
With Wolfgang Paul, Nick Pippenger, and William Trotter, he established a separation between nondeterministic linear time and deterministic linear time, in the spirit of the infamous P versus NP problem.