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.
Read more
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.
Read more
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.
Read more
08/17/2015 -
KXAN
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.
He even entertained questions around the blockbuster movie, “Pixels,” exploring the idea of using gaming technology as a weapon.
Read more
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.
Read more
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."
Read more
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.”
Read more
07/15/2015 -
American-Statesman | By Omar L. Gallaga
Should we heed the warnings of movies such as ‘Terminator Genisys’ and the TV show ‘Humans’?
Remember, in 1984, when a scary robot from the future told us he’d be back?
Read more
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.
Read more
Pages
