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

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

Applicants must hold at least a bachelor's degree or its equivalent from an institution comparable to the University of Colorado. They should have programming experience, a number of computer science ...

You can get a computer science degree almost anywhere. So why not learn to sling code in the west? Where you can take classes on the frontiers of technology, and where you can get your hands on super ...

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

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