Skip to main content

Faculty

Linear Algebra Foundations to Frontiers - Programming for Correctness Online Course Launches Second Offering

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)

These Mathematical Techniques Could Help Design Shape-shifting Materials

A snapdragon flower petal grown from a cylinder. In each state, the colors show the growth factors of the top (left) and bottom (right) layer, and the thin black lines indicate the direction of growth. The top layer is viewed from the front, and the bottom layer is viewed from the back, to highlight the complexity of the geometries. (Credit Harvard SEAS)

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?

UT Competitive Programming Team Goes to ACM-ICPC World Finals

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.

Four UTCS Professors Win NSF CAREER Award

Vijay Chidambaram, Scott Niekum, Simon Peter, and Eric Price

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.

Students Blend Science, Art and Communication to Design Games and Apps

Students showcase their games during Digital Demo Day. Photo by Jennifer Reel.

03/26/2018 - The UT Game and Mobile Media Applications (GAMMA) program was established six years ago upon a simple principle: humans like to play. GAMMA, a collaboration between the College of Natural Sciences, the College of Fine Arts and the Moody College of Communications, is an undergraduate certificate program that prepares students for careers in designing video games and mobile apps. As an interdisciplinary initiative that blends expertise from all three colleges, the certificate program gives students opportunities to apply both computing and creativity toward the production of apps and games that are useful and entertaining.

UT Computer Science Adding Ethics Courses to Curriculum

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.

Vijay Chadambaram and Eric Lee Win Best Paper Prize at FAST 2018

Vijay Chidambaram

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).