Professor Warren Hunt has been recognized as one of the Association for Computing Machinery's (ACM) 2015 Distinguished Engineers. His research involves the use of formal mathematics to write specifications for computer hardware and software and to use proof techniques to determine the validity of such specifications.
A UTCS programming team finished second at this year's ACM International Collegiate Programming Contest (ACM-ICPC) regional competition. The team of Arnav Sastry, Daniel Talamas, and Jaime Rivera beat approximately 60 different teams competing in the South Central U.S region of the contest.
University of Texas researcher designs novel way to analyze bigger datasets using supercomputers and machine learning algorithms.
How do Netflix or Facebook know which movies you might like or who you might want to be friends with?
Here’s a hint: It starts with a few trillion data points and involves some complicated math and a lot of smart computer programming.
There are few things as full of anxiety, heartbreak, and anguish as finding out that you or someone you love has cancer. Unfortunately, it’s not at all uncommon. By the American Cancer Society’s estimates it is expected that in the year 2015 alone, there will be 1.6 million new cancer diagnoses and nearly 600,000 deaths—or roughly 1,600 people every day. But statistics are hardly necessary to realize the enormity of the problem. So far, the road to a cure has been long and complicated and with what’s seemed like no end in sight—until recently.
Three conferences and a workshop, all in the field of formal verification and system design, were held from the end of September through the beginning of October.
The first, MEMOCODE ‘15, in its thirteenth year, is dedicated to bringing principles of formal methods to hardware development, which enables hardware designers to prove rigorously that their chips will function as intended. Indeed, as hardware has grown exponentially more complex, traditional methods of testing have become unreliable, and instead formal proofs of correctness are preferred.
The future of any computer science program is entirely dependent on the ongoing strength of its faculty. At UT Computer Science, we are proud to say that our future is bright indeed as we welcome four new faculty into our robotics and systems groups. These talented individuals join four other recent faculty additions, ensuring that UT Computer Science will continue to be a leader in the field for years to come.
WIRED Magazine | KEVIN HARTNETT | 09.13.15
IN JULY 2013 a pair of studies set the cryptography world on fire. They were posted within days of one another to an online archive where researchers share their work, and together they described a powerful new method for hiding the secrets inside software programs.
AUSTIN (KXAN) – A computer science professor at the University of Texas at Austin stopped by KXAN to talk about his research on computer gaming and the human brain. Dr. Risto Miikkulainen is studying the brain to figure out how it works and translate that knowledge to making better computer games.
A computer science team at The University of Texas at Austin has found that robots evolve more quickly and efficiently after a virtual mass extinction modeled after real-life disasters such as the one that killed off the dinosaurs. Beyond its implications for artificial intelligence, the research supports the idea that mass extinctions actually speed up evolution by unleashing new creativity in adaptations.