At the VSTTE conference, held as part of the POPL Symposium in Philadelphia, UTCS's very own ACL2 team was awarded one of the two Gold Medals in the 2012 VSTTE verification competition.
Faculty at the The University of Texas at Austin Department of Computer Science (UTCS) are at the forefront of the digital revolution. Congratulations to the following faculty for their accomplishments...
UTCS is grateful to our scholarship and fellowship donors whose partnerships with the department afford promising and deserving students the opportunity to study at a top-10 ranked department. These companies, foundations and individuals are crucial in enabling UTCS to recruit and retain top students.
Professor Inderjit Dhillon and Assistant Professor Pradeep Ravikumar, together with their postdoc Ambuj Tewari, had remarkable success at The Neural Information Processing Systems (NIPS) Conference this year. They submitted seven papers and all were accepted. NIPS's acceptance rate is about 20%.
UTCS graduate Ken Calvert was elected to IEEE Fellow "for contributions to internet topology and active networks."
As an educator, associate computer science professor Peter Stone has a unique perspective on who, or what, can learn. Stone has spent his time at UT working with students to develop intelligent robots capable of learning and adapting to their environments.
The University of Texas at Austin Department of Computer Science (UTCS) Friends of Computer Science (FoCS) 2011 Career Brunch was held in conjunction with the College of Natural Sciences (CNS) Career Expo on September 19, 2011 at the Frank Erwin Center.
UTCS is pleased to announce Best Paper Awards won by our faculty, staff and students.
The video footage is from the second half of the championship game in the 3-D Simulation league in RoboCupSoccer 2011. UT Austin Villa won the game, 4-0, over a team from Changzhou Institute of Technology in China. The audio track is “humm ok,” by Gablé (Creative Commons).
AUSTIN, Texas—UT Austin Villa, a team of programmers led by University of Texas at Austin computer scientists Peter Stone and Patrick MacAlpine, has won the 2011 RoboCup Soccer championships in the 3-D simulation division.