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
Prediction markets are popular for aggregating opinions regarding the likelihood of future events by enabling people to buy and sell "shares" that indicate whether or not they think the event will happen. There has been some evidence that the market prices are reasonably accurate predictors of whether those events will actually happen.
Read More
As many of you know, Taylor Hall has been demolished to make way for the new Bill & Melinda Gates Computer Science Complex, due to open in December 2012. Original bricks from UTCS's old home, Taylor Hall, have been salvaged, mortar and all!
Read More
