Professor Warren Hunt has been recognized as one of the Association for Computing Machinery's (ACM) 2015 Distinguished Engineers. His research involves the use of formal mathematics to write specifications for computer hardware and software and to use proof techniques to determine the validity of such specifications.
Research in computer science has shown a remarkable ability to change the world. Just consider some of the $1B industries that were spawned from basic research in computer science: Internet search, graphics and animation, relational databases, data mining, and speech recognition.
One of the challenges of working as a computer scientist and engineer at Sandia National Laboratories is to not be distracted by the breadth of innovative work that goes on. In any given week, I am exposed to topics and research in network and computer security, robotics, and exascale computing, to name a few.
The Friends of Computer Science (FoCS) program at UTCS is fortunate to count many companies with world-class research programs as partners. FoCS partners Google, IBM, Microsoft, Sandia National Laboratories and Yahoo! are all on the forefront of technological innovation.
The Empowering Leadership Alliance is a computer science student organization aimed at helping minorities gain a sense of what opportunities are available in various fields in technology.
Discoveries in bioinformatics provide new therapeutic interventions to disease by replacing expensive, time-consuming physical experiments with an automated computational search. Public databases now contain experimentally determined sequence and structural information for hundreds of thousands of proteins
Through a shared vision, the Bill & Melinda Gates Foundation, the Michael & Susan Dell Foundation, The University of Texas at Austin and UT System, and the Department of Computer Science
UTCS is grateful to our scholarship and fellowship donors whose partnerships with the department afford promising and deserving students the opportunity to study at a top-10 ranked department. These companies, foundations and individuals are crucial in enabling UTCS to recruit and retain top students.
Equipment donations to UTCS can be a key component of partnerships between industry and the department. Equipment donations allow the department to offer state-of-the-art equipment for faculty and student use as well as afford donor recognition and visibility within department labs and spaces.
UTCS is a leading research institution in computer science. Collaborations with industry and industry support ensure superior research continues to move the Texas digital economy forward.