12/05/2018 -In 2016, Google reported that only six out of ten schools (K-12) offered at least one computer science class. While there continues to be an upward trend in the number of schools offering these classes, many students still lack exposure to programming. Texas Computer Science is changing that.Read more
05/04/2018 -AUSTIN (KXAN) - Thirteen startups and one big prize of $25,000. Thursday night, student entrepreneurs at UT Austin competed in a "Shark Tank" style pitch contest.
The university has a program called "Longhorn Startup" where undergrads launch a small business. The instructors say one or two each year go on to become real businesses.Read more
05/24/2017 -The 14th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2017) was held May 22-23, 2017, followed by the first ACL2 Developer's Workshop held on May 24 - 25 at The University of Texas at Austin in the Gates Dell Complex.Read more
06/29/2016 -UTCS honored new Ph.D. graduates at its annual hooding ceremony on Friday, May 20. Each new graduate received a short testimonial from his or her graduate research advisor. The new doctors were then hooded by UTCS Chair Bruce Porter. Afterwards, a reception was held for graduates, faculty, friends and family.
Click the button below to view high resolution copies of the photo gallery images on this page. We invite you to also upload pictures you have from the event.
View the 2016 Ph.D. Hooding Ceremony Video!Read more
11/03/2015 -There are few things as full of anxiety, heartbreak, and anguish as finding out that you or someone you love has cancer. Unfortunately, it’s not at all uncommon. By the American Cancer Society’s estimates it is expected that in the year 2015 alone, there will be 1.6 million new cancer diagnoses and nearly 600,000 deaths—or roughly 1,600 people every day. But statistics are hardly necessary to realize the enormity of the problem. So far, the road to a cure has been long and complicated and with what’s seemed like no end in sight—until recently.Read more
11/02/2015 -Three conferences and a workshop, all in the field of formal verification and system design, were held from the end of September through the beginning of October.
The first, MEMOCODE ‘15, in its thirteenth year, is dedicated to bringing principles of formal methods to hardware development, which enables hardware designers to prove rigorously that their chips will function as intended. Indeed, as hardware has grown exponentially more complex, traditional methods of testing have become unreliable, and instead formal proofs of correctness are preferred.Read more