Total credits required for the degree: 123. Find complete details on the CS-Computer Systems degree audit. Download the CS-Computer Systems flowchart. An alternative ...

This course presents an introduction to type systems. We will study the formal foundations of type systems, exploring how they are specified and what properties hold for them. This is a course aimed ...

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

At UT Computer Science, undergraduate students receive a rigorous educational experience, with options to pursue more than 50 courses that span the full spectrum of topics in modern computer science.