Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

Computing is part of everything we do. Computing drives innovation in engineering, business, entertainment, education, and the sciences—and it provides solutions to complex, challenging problems of ...

Elkind, a pioneer of algorithmic game theory, computational social choice, and artificial intelligence, joined Northwestern Engineering’s Department of Computer Science on November 1 as a Ginni ...