At the VSTTE conference, held as part of the POPL Symposium in Philadelphia, UTCS's very own ACL2 team was awarded one of the two Gold Medals in the 2012 VSTTE verification competition.
Read More
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
Read More
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.
Read More
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.
Read More
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.
Read More
The UTCS Friends of Computer Science (FoCS) program welcomes new partners: eBay/PayPal, Rackspace, Rivet Software, Tata Consultancy Services, and Union Pacific Railroad.
Read More
Every good partnership strengthens all the partners, and our new relationship with SunGard Availability Services is a perfect example. SunGard is a Fortune 500 company, founded in 1983 to provide software and IT services for the financial industry, higher education and the public sector.
Read More
This year, university and high school students learned more about software development, computer programming and, perhaps, their future careers through events generously funded by FoCS partners Yahoo!, Lockheed Martin, ConocoPhillips and Schlumberger.
Read More
