David Zuckerman has been selected as a Simons Investigator in Theoretical Computer Science. David's research focuses primarily on pseudorandomness and the role of randomness in computing. He is best known for his work on randomness extractors and their applications. His other research interests include coding theory, distributed computing, cryptography, inapproximability, and other areas of complexity theory.
Chandrajit Bajaj has been selected as a Fellow of the Society for Industrial and Applied Mathematics (SIAM) "for fundamental contributions to applied mathematics algorithms in geometric modeling, imaging science, bioinformatics, and data visualization." SIAM Fellows are designated each year to recognize members of the community for their distinguished contributions to the disciplines of applied mathematics, computational
AlphaGo, a program that plays what many consider the most difficult of board games, Go, has just won the first of five matches against the world's top human player. The series is scheduled to continue through March 12. Developed by Google's DeepMind subsidiary, AlphaGo has already beaten the European Go champion. A few days before the latest competition, we asked Risto Miikkulainen, an artificial intelligence researcher at the University of Texas at Austin, for his thoughts on this historic contest.
Movie CGI artist Megha Davalath has been obsessed with pandas since she was a child in San Antonio, collecting everything from stuffed animals to trashcans to wind chimes in celebration of her favorite cuddly creature.
So, it must have been kismet that her first motion picture credit for DreamWorks Animation is “Kung Fu Panda 3,” which boasts an all-star cast including Jack Black, Angelina Jolie and Bryan Cranston. It opens in theaters Friday.
UT Computer Science graduate student Zoe Wheeler competes for the title of Superhuman.
According to PitchBook Data Inc. Texas Computer Science is a global powerhouse when it comes to the number of companies founded by its former undergraduates who have gone on to start their own companies and raise equity capital. PitchBook Data Inc. is a Seattle-based independent provider of research data on the private-equity and venture-capital industries, which has published a "Top Universities Producing VC-backed Entrepreneurs" list since 2013.
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 Daily Texan | by Jameson Pitts
Team Gimli fuels themselves on orange soda and Einstein Bros. Bagels as they eagerly await the announcement of the secret theme at the third game jam hosted by Jolly, a local development studio.