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

As a computer science major/minor, you’ll gain the academic knowledge needed to keep abreast of the changing world of computing. You’ll study computing theory and engage in practices that will help ...

The Department of Computer Science within the College of Computing & Informatics conducts active research across diverse areas, including artificial intelligence, algorithms, computer vision and ...