Computer science is a major for problem-solving students who want to learn how to use computers and computational processes to build websites, program robots, mine data and more. Computer science ...

AI can help theoretical computer scientists search for algorithms, proof components, and combinatorial structures. Here’s what recent results show—and why verification still matters.

See how AI is changing algorithm discovery, theorem proving, and complexity theory, with real research examples and a clear look at its limitations.

Software and computers have become ubiquitous in business, education and research settings. Today, there are scarcely any areas of human endeavor that are not touched by computer software. Computer ...

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.