07/24/2018 - This month, a group of UTCS researchers won a best paper award at the USENIX Annual Technical Conference 2018 for their paper, "TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions."
07/18/2018 - Robots are everywhere, from the Roomba cleaning your floor to the first self-driving cars traveling the roads. As robots advance and help with more and more tedious or dangerous tasks, they need an easy and efficient way to learn and adapt to their surroundings.
06/25/2018 - UT Austin Villa continues its winning streak in the 3D Simulation League by defeating magmaOffenburg 2-0 in the championship at last week’s RoboCup 2018 competition.
06/20/2018 - A team of computer science researchers consisting of professor Lili Qiu and her Ph.D. students Wenguang Mao and Mei Wang won the Best Paper Award last week at MobiSys 2018 for their work in creating a system that can perform acoustic imaging with a smartphone.
06/06/2018 - The world is made up of shapes of all kinds, from boxy cubes to perfect spheres and everything in between. Some shapes work best for certain applications; for example, only a few configurations will lead to a stable building.
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)
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?
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.
04/03/2018 - UT College of Natural Sciences News | Esther R Robards-Forbes
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 Development award for 2018.