This class is a graduate-level introduction to Natural Language Processing (NLP), the study of computing systems that can process, understand, or communicate in human language. The course covers ...

Sumaya M Al-Bedaiwi, [email protected], Office hours: Mon 12:30 PM - 1:30 PM, Wed 3:30 PM - 4:30 PM in the GDC Basement.

E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare "Proof of Program ...

Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that work reliably in ...

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

Yuchen Cui, Qiping Zhang, Alessandro Allievi, Peter Stone, Scott Niekum, and W. Bradley Knox, In Proceedings of the 4th Conference on Robot Learning (CoRL 2020), Cambridge MA, USA, November 2020.

Most programming languages have a facility for grouping different kinds of variables together to form a new type of aggregate variable that can be manipulated as a whole or as parts. Often these types ...

Consistently ranked as one of the nation’s top ten graduate programs in computer science, UT Computer Science is proud to be able to say that the education our students receive is second to none.

When creating copies of arrays or objects one can make a deep copy or a shallow copy. This explanation uses arrays. Recall array variables in Java are references (some folks say pointers, but there ...

The Master of Science in Computer Science (MSCS) program is designed for students who have completed a bachelor's degree in computer science and want to further their studies. Admission to the program ...