Button to scroll to the top of the page.

News

From the College of Natural Sciences

Three Professors Elected Members of National Academy of Engineering

AUSTIN, Texas—Two computer science professors and a professor of engineering have been elected to the National Academy of Engineering (NAE), widely considered among the highest honors to be earned in the engineering and technology professions. Dr. Stelios Kyriakides, the Temple Foundation Endowed Professor in the Department of Aerospace Engine...

Intelligently designed

Playing the game NERO doesn’t seem, on the surface, so different from many other popular computer games of the day. Robot soldiers battle it out in a post-apocalyptic world in a “struggle over the relics of human civilization.” Guns are fired and carnage happens. But for Computer Sciences Professor Risto Miikkulainen, NERO (Neuro-Evolving Robotic...nero-screen

Doug Burger receives Wilkes Award

AUSTIN, Texas—Dr. Doug Burger, associate professor in the Department of Computer Sciences at The University of Texas at Austin, has received the 2006 Maurice Wilkes Award from the Association for Computing Machinery (ACM) for his contributions to spatially distributed processor and memory system architectures. The Maurice Wilkes Award, named after...

Computer sciences student awarded $50,000

AUSTIN, Texas—Patrick Christmas, a graduate student in computer sciences at The University of Texas at Austin, has been awarded $50,000 from Interactive Brokers Group (IBG), for winning its electronic trading Olympiad for colleges. IBG, a global leader in electronic market-making and brokerage services,  will also donate a matching prize of $50,00...

Boyer, Kaufmann and Moore awarded the 2005 ACM Software System Award for the Boyer-Moore Theorem Prover

AUSTIN, Texas—University of Texas at Austin professors Robert Boyer and J Stother Moore and Senior Research Scientist Matt Kaufmann were awarded the 2005 Software System Award by the Association for Computing Machinery (ACM) for their work on the Boyer-Moore Theorem Prover. Used by computer scientists to verify that computer systems are functionin...

Learning Machines

On a small practice field on the first floor of Taylor Hall, robot dogs playing soccer scuttle around the field like infants crawling across a playpen. They survey their field with Cyclops-like camera eyes and nudge balls around with silver chins. And like little humans, these robots learn to walk, recognize color, and hold a ball. They experiment ...aibo-tower