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

05/10/2018 - 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.

## 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 students compete in 'Shark Tank'-style pitch for \$25K prize

Joshua Baer and Millie Price

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

## Jacqueline Gibson Earns 2018 President’s Leadership Award

Jacqueline Gibson, photo courtesy of The Alcalde

05/02/2018 - 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."

## Concentrations Offer Expertise in Specialized Fields of Computer Science

05/02/2018 - 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.

## UT Competitive Programming Team Goes to ACM-ICPC World Finals

Left to Right - Assistant Professor Etienne Vouga, Arnav Sastry ('18), Ethan Arnold ('19), Daniel Talamas ('18), and Lecturer Glenn Downing

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.

## What happens when AI meets robotics?

04/10/2018 - 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.

## Fifty Years after Sci-Fi’s “2001,” Rethinking Our Relationship with AI

04/03/2018 - UT College of Natural Sciences News | Esther R Robards-Forbes

## Ethical Foundations Class Introduces Ethical Thinking to Computer Science Students

04/01/2018 - 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?

## 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 Graduate Program Among Top Ten in the U.S.

03/21/2018 - According to U.S. News & World Report’s 2019 Best Graduate Schools report, UT’s computer science graduate program is among the top 10 best graduate programs for computer science in the country, as well as among the top 5 among public schools and the best in Texas.

## Two Ph.D. Students Awarded IBM Fellowships

03/20/2018 - Two computer science Ph.D. students, Rishab Goyal and Josiah Hanna, were selected for the highly-competitive 2018 IBM Ph.D. Fellowship Program.

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

02/22/2018 - Three UTCS professors won a 2017 Google Faculty Research award, which is awarded to academic researchers in order to fund research proposals. Vijay Chidambaram received an award for systems research, Kristen Grauman received an award for machine perception research, and Işil Dillig received an award for security research.

## Women in Computer Science Hosts "Magical" All-Women Hackathon

02/22/2018 - On Saturday, Women in Computer Science hosted WiCS Hacks, an all-women 12-hour hackathon sponsored by HomeAway, IBM and Bloomberg. This year, the theme of the hackathon was magic and featured categories such as educational technology, community impact, IBM Watson and “magical hacks.” Eighty people attended the event, and the projects were judged by faculty members.

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

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

## Huth and Peter Awarded Sloan Research Fellowships

Alex Huth (left) and Simon Peter (right)

02/16/2018 - Professors Alex Huth and Simon Peter have been awarded Alfred P. Sloan Research Fellowships for 2018.

## Two New Professors Join UTCS Faculty

Hovav Shacham (left) and Qiang Liu (right)

02/15/2018 - We are delighted to welcome two new faculty to UT Computer Science in 2018.

02/08/2018 - Jayadev Misra, Schlumberger Centennial Chair Emeritus in Computer Science and University Distinguished Teaching Professor Emeritus, has been elected to join the National Academy of Engineering for his research in software verification of concurrent systems.

## UT Computer Science Founding Member and Professor Emeritus Passes Away

02/06/2018 - We are deeply saddened by the loss of Professor Emeritus and UT Computer Science founding member James C. Browne, who passed away on Friday, January 19 at age 83. In addition to teaching computer science, Browne was one of the first faculty members of the Department of Computer Science, which was founded in 1966, and also served as the department’s chairman for several years.

## Linear Algebra - Foundations To Frontiers Kicks off Its Seventh Run

01/22/2018 - On January 23, 2018, UTCS faculty (and spouses) Robert van de Geijn and Maggie Myers will kick off the seventh run of their 16 week MOOCs (Massively Open Online Course) on linear algebra from a computer science perspective called Linear Algebra - Foundations to Frontiers (LAFF).

## Calvin Lin Turing Scholar Endowment Provides Funding for Turing Scholars Program

01/03/2018 - The Turing Scholars program is an academic honors program within UTCS directed by professor Calvin Lin, who established the program in 2006. Turing Scholars consists of about 200 UTCS students and accepts about 50 freshmen per year, creating a tight-knit community focused on research and academic challenges. The program culminates in an honors thesis during the students' senior year.