05/15/2018 -
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
05/08/2018 -
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
04/26/2018 -
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
03/30/2018 -
Four UTCS professors—Vijay Chidambaram, Scott Niekum, Simon Peter, and Eric Price —have won the National Science Foundation (NSF) Faculty Early Career D
Read more
03/26/2018 -
UT College of Natural Sciences News | Annie Zhang | March 26, 2018
The UT Game and Mobile Media Applications (GAMMA) program was established six years ago upon a simple principle: humans like to play.
Read more
03/06/2018 -
AUSTIN (KXAN) — At the University of Texas at Austin, computer science students are being asked to go beyond coding and engineering. Their department wants them to graduate with an understanding of ethics as well.
Read more
02/16/2018 -
UTCS Professor Vijay Chidambaram and undergraduate researcher Eric Lee co-authored a paper titled "Protocol-aware Recovery for Consensus-based Storage'' which won the best paper prize at the 2018 USENIX Conference on File and Storage Technologies (FAST).
Read more
02/16/2018 -
Professors Alex Huth and Simon Peter have been awarded Alfred P. Sloan Research Fellowships for 2018.
Read more
Pages
