Part of “Complexity Theory,” a new column on the tangled questions of our technological age. One of my biggest sources of joy in life is satisfying my intellectual curiosity. I feel almost certain ...

Computer science, at its most fundamental, is all about inputs and outputs. Consider the simple case of multiplying two numbers on a pocket calculator. You punch in some inputs — the specific numbers ...

We preselected all newsletters you had before unsubscribing.

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 ...

The theory group hosts various reading groups, typically a semester or a year long, most topics chosen by students and/or postdocs; typically everyone presents. Some are for credit, all are for fun!