Faculty

11/02/2015 - 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.

09/22/2015 - 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.

09/17/2015 - 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.

08/17/2015 - 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.

08/12/2015 - 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.

07/24/2015 - The Austin Villa Robot Soccer Team participated in two competitions in the RoboCup 2015 competition in Hefei, China: the Standard Platform League (SPL) and the 3D simulation league.

07/20/2015 - Jacob Schrum and Risto Miikkulainen won the Best Paper Award in the Digital Entertainment and Arts track at the Genetic and Evolutionary Computation Conference (GECCO). 2015 Conference for their paper on "Solving Interleaved and Blended Sequential Decision-Making Problems through Modular Neuroevolution."

07/20/2015 - Peter Stone and his co-authors Miland Tambe and Fei Fang (both from USC) won the IJCAI 2015 Computational Sustainability Track Outstanding Paper Award for their paper titled “When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing.” The Computational Sustainability Track "aims to apply computational techniques to the balancing of environmental, economic, and societal needs, in order to support sustainable development and a sustainable future.”

07/15/2015 - Should we heed the warnings of movies such as ‘Terminator Genisys’ and the TV show ‘Humans’?

05/01/2015 - Every year, the Texas Exes Alcalde asks UT alumni to vote on their favorite UT professors for a teaching award called the "Texas 10." This year, UT Computer Science is proud to have our own Dr. Inderjit Dhillon represented among the winners. This prestigious award comes on the heels of Dhillon being named 2014 Fellow of the Association for Computing Machinery in recognition of outstanding research. The story below is a profile of a professor who has achieved remarkable success both in his research and in the classroom.