Baade received his first undergraduate research opportunity after cold-emailing a professor on the advice of a Sophomore ...

The purpose of this assignment is to implement a linked list class that uses doubly linked nodes. Doubly linked nodes have references to the next node in the list and back to the previous node in the ...

MEMOCODE 2015: 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (Sept. 21-23, 2015) SAT 2015: 18th International Conference on Theory and Applications of ...

Deep Proteins researchers draw on lessons from many disciplines, for example, to develop an AI technique called EvoRank that ...

Our students and faculty are changing the world through their contributions to computing education, research, and industry. These awards received by members of the UT Computer Science community make ...

The job of building computer networks that train and run large AI models is becoming increasingly complicated because ...

UT Computer Science ranks No. 10 nationally, tied with the California Institute of Technology and the University of Michigan.

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional ...