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.

Technology is a powerful force that has significantly influenced the future. It has enriched our lives in innumerable ways, from boosting productivity and efficiency to bridging geographical distances ...

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