Pose a question to a Magic 8 Ball, and it’ll answer yes, no or something annoyingly indecisive. We think of it as a kid’s toy, but theoretical computer scientists employ a similar tool. They often ...

Studying the epic journey of the iconic jumping plumber can lead to new insights in theoretical computer science—and may help ...

Universality is an idea that permeates physics and computer science. In various guises, this principle says that there are broad equivalence classes of phenomena at long distances, at long times or at ...

Ashutosh Trivedi is an Associate Professor of computer science at the University of Colorado Boulder. His researchinterests lie at the intersection of computer science, control theory, and machine ...