Major Quantum Computing Advance Made Obsolete by UT Grad

Ewin Tang will be entering graduate school this fall.

Ewin Tang graduated from the Texas Computer Science in spring and will be entering graduate school this fall.

Photo Credit: Vivian Abagiu

Ewin Tang, a 2018 University of Texas at Austin graduate in computer science and mathematics, is receiving national attention for a feat he accomplished at the age of 18 by disproving, as part of his honors thesis, a widely held assumption about the hottest next-thing in technology, quantum computing.

Could Robots Compete in the 2050 World Cup? This UT Team Thinks It’s Possible

Photograph courtesy of JT Genter.

By Rachel Cooper, The Alcalde

For the past month, the world has been watching national soccer teams from across the globe compete in a surprising and nail-biting World Cup. Although the U.S. didn’t make the cut for the 2018 version of the quadrennial tournament, there’s an unorthodox soccer team close to home that did pretty well on the international stage—a group of Longhorns and their goal-scoring robots. 

Researchers Win Best Paper Award at USENIX Annual Technical Conference 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."

Researchers Win Best Paper Award for Mobile Acoustic Imaging Technique

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.

Incoming Turing Scholar Receives Forty Acres Scholarship

Abby Criswell

From studying Latin to playing ultimate frisbee, incoming computer science freshman Abby Criswell has always had “this weird of habit of getting into loads of crazily different things that … don’t seem to have any connection.” As a future Turing Scholar, Dean’s Scholar and pre-medical student, she wants to continue making unusual connections by combining her interests in coding and medical technology.

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

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)

Pages

Subscribe to Department of Computer Science RSS