The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness. But one should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer’s burden. On the contrary: the programmer should let correctness proof and program grow hand-in-hand. - “The Humble Programmer,” Edsger W. Dijkstra (1972)Read More
This spring, the UT Department of Computer Science launched two new research consortiums with the first annual Texas Systems Research Consortium Symposium and UT Robotics Consortium Symposium.Read More
UT College of Natural Sciences News | October 16, 2017
Nature has a way of making complex shapes from a set of simple growth rules. The curve of a petal, the swoop of a branch, even the contours of our face are shaped by these processes. What if we could unlock those rules and reverse engineer nature's ability to grow an infinitely diverse array of shapes?Read More
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
Read More
Undergraduate student Jacqueline Gibson is one of six recipients of the 2018 President’s Leadership Award, which is given annually by the Texas Exes.
Jacqueline and her fellow awardees represent some the most active participants on the Forty Acres and set the pace on campus.
According to the Alcalde, "These students are what one could conservatively call active participants—not simply for showing up, but for taking charge, too."Read More
For students who are passionate about a specialized subfield of computer science, Texas Computer Science has made it easier for them to enhance their skills and set themselves apart by choosing a concentration.Read More
On Thu, 19 Apr 2018, the UT Competitive Programming team competed at the ACM-ICPC World Finals at Peking University in Beijing, China.
The competition consisted of teams from 140 regions (approx. 420 students) trying to solve 11 problems in 5 hrs and 20 min. The first-place team, Moscow State University, solved 9 problems. UT solved 4 problems and tied with 42 other teams for 56th place.Read More
By Pallab Ghosh, BBC News
Researchers in Texas are developing robots that have minds of their own.
The scientists are creating systems that can learn for themselves and be able to operate in the home, the workplace and even on the sports field.Read More
Computers touch every part of our daily lives, from work to shopping to social media, and behind computer programs are human computer scientists making decisions. How do we make sure that these decisions don’t harm others?Read More
