Denis Ignatovich (right) and Grant Passmore, co-founders of Imandra

UT alumni Denis Ignatovich (right) and Grant Passmore (left)

05/26/2020 - On August 1, 2012, the global financial services firm Knight Capital, which was at the time the largest trader in U.S. equities, lost $460 million due to a “technology breakdown.” One of their trading servers housed defective code, causing the group irreparable damage. Almost exactly a year later, a Goldman Sachs computer glitch resulted in a number of erroneous trades, resulting in a loss of over $100 million for the company. Read More
05/21/2020 - The 2020 International Conference on Autonomous Agents and Multi-Agent Systems (AAMS) was held from May 9-13, and Texas Computer Science (TXCS) Professor Peter Stone and alumnus Kurt Dresner were awarded the IFAAMAS Influential Paper Award for their 2008 paper “A multiagent approach to autonomous intersection management.” In additio Read More
hourglass on river rock
05/19/2020 - Texas Computer Science (TXCS) alumni and faculty were honored in two separate conferences this month with Test of Time awards. Read More
Sophia Li

Sophia Li from Murphy, Texas, is the recipient of the Charline and Red McCombs Family Forty Acres Scholarship

, Lana Mohamed

Lana Mohamed from San Antonio, Texas, is the recipient of the Stamps Forty Acres Scholarship

, Amelia Nickerson

Amelia Nickerson from Leander, Texas, is the recipient of the Sarah M. and Charles E. Seay Forty Acres Scholarship

05/19/2020 - For years, the Texas Exes Forty Acres Scholars Program has made it their mission to “inspire and nurture visionary leaders and help them use their talents to benefit society.” The program is a full-ride, merit-based scholarship given to highly qualified students entering the University of Texas at Austin. Scholars are selected based on their intellectual curiosity, outstanding academic success, and desire to use their skills to change the world. Read More
TXCS junior Rosaleen Xiong

TXCS junior Rosaleen Xiong

05/18/2020 - The President’s Award for Global Learning is one of UT Austin’s most prestigious grants. Its mission is to create global leaders through providing selected students with hands-on, cross-cultural experience. Teams who apply for the award are tasked with examining a real-world problem affecting a specific geographical region, and creating and implementing a solution to it. After a rigorous selection process involving proposals and a pitch competition, one team is chosen from each of three regions. Read More
Amir Mostafavi and Ali Ajam in front of the UT Austin tower

TXCS student Amir Mostafavi (left) and his friend Ali Ajam, the developers of kovid19.org

04/13/2020 - As the number of COVID-19 infections rises and people remain in isolation, the streets have increasingly begun to look like scenes from doomsday movies. This is in stark contrast to grocery stores and other essential establishments, however, where people continue to congregate out of need for essential supplies. Read More
04/01/2020 - On Wednesday, March 11, 2020, the World Health Organization (WHO) declared COVID-19 (coronavirus) a pandemic. A few days later, Texas Computer Science (TXCS) students Rithwik Pattikonda and Darshan Bhatta returned home for spring break to their homes in Plano and Irving, respectively. Both witnessed how stores struggled with the surge in customers, and realized that these stores, while providing a necessity, were also breeding grounds for the possible transmission of COVID-19. They decided to take action. Read More

Isil Dillig (left) and Swarat Chaudhuri are part of a new, multi-institution initiative aimed at better understanding what happens inside artificial intelligence "black boxes."

03/25/2020 - The promise of artificial intelligence to solve problems in drug design, discover how babies learn language, and make progress in many other areas has been stymied by the inability of humans to understand what's going on inside AI systems. Researchers at six universities, including The University of Texas at Austin, are launching a partnership aimed at turning these AI "black boxes" into human-interpretable computer code, allowing them to solve hitherto unsolvable problems. Read More
Travis Eakin, undergraduate student at The University of Texas at Austin, Department of Computer Science
03/05/2020 - Travis Eakin is 27-years-old, a veteran, and studying computer science at the University of Texas at Austin. Though his profile isn’t the traditional image of a college student, his background is not uncommon. According to the U.S. Department of Veterans Affairs, “over 1,000,000 student Veterans are using their G.I. Read More
Robert van de Geijn, Lee Killough, and Tze Meng Low accepting the award at PP20 in Seattle, Washington

Robert van de Geijn, Lee Killough, and Tze Meng Low accepting the award at PP20 in Seattle, Washington

03/04/2020 - The paper titled “The BLIS Framework: Experiments in Portability” recently received the 2020 SIAM Activity Group on Supercomputing Best Paper Prize. Among the authors of this paper are TXCS professor Dr. Read More
02/27/2020 - In fall 2019, The University of Texas at Austin launched the Master of Computer Science Online. Through a partnership with edX, an online platform for education and learning, the university was able to bring Texas Computer Science’s top-ranked degree to students around the world, in an affordable and flexible program.  Read More

The UT Programming Team at the ICPC NAC in Atlanta, Georgia

02/26/2020 - On Sat, 22 Feb 2020, the UT Programming Team competed in the ICPC North America Championship (NAC) in Atlanta, Georgia, hosted by Georgia Tech. Read More
computer science professor, Hovav Shacham, The University of Texas at Austin
02/25/2020 - A powerful new approach to securing web browsers, using a tool called WebAssembly, is getting its first real-world application in the Firefox browser. Read More
Yuepeng Wang,  a sixth-year PhD student at Texas Computer Science

Yuepeng Wang, sixth-year PhD student in Dr. Işıl Dillig’s lab

02/04/2020 - Most websites that we use every day are database applications, which means that they involve software that interacts with an underlying database. As these websites evolve to meet the demands of their users, so must the software and the database schema, i.e., the model that determines the layout of the data. This process is extremely time-consuming and error-prone, because developers not only need to transform the data, but also re-implement all the affected parts of the application. Read More

Locomation trucks in convoy formation

01/23/2020 - The race to build the best autonomous cargo vehicle is heating up, indicating big developments for the $700 billion U.S. trucking market. With the rise of e-commerce comes the accompanying need for more efficiently delivered goods, a demand that the transportation industry is not currently equipped to cope with. Self-driving trucks could solve this problem by simultaneously decreasing the cost and increasing the safety of freight transport. Read More
01/09/2020 - There are few pet peeves worse than being unable to find the right song. It’s this endless cycle of shuffling through a music library that inspired UT alumni and faculty to create DJ Monte-Carlo (DJ-MC)—a program tailored to preemptively pick music that suits your mood.  Read More
Subscribe to News