In a recent interview with TechGuide.org, UT Austin Computer Science Professor Peter Stone shares insights on how undergraduates can secure research opportunities in AI. As the founder of the Learning ...

MJRTY - A Fast Majority Vote Algorithm, with R.S. Boyer. In R.S. Boyer (ed.), Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series ...

Thanks to Don Slater at CMU for letting me use this page. Important. Download and install Java first per these instructions then download and install the Eclipse IDE per these instructions. Other ...

For each course in the UT’s course schedule catalog, students can find valuable information such as eCIS evaluations, past ...

Computer ethics as a field of study was founded by MIT professor Norbert Wiener during World War Two (early 1940s) while helping to develop an antiaircraft cannon capable of shooting down fast ...

UT Austin researchers have improved their AI-powered brain decoder, allowing it to translate thoughts into continuous text ...

We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at the same time, it is more general than the iterated fixed point semantics for stratified ...

News: As of January 2009, I have moved to the University of Michigan, where I am a Professor of Computer Science and Engineering in the EECS Department.

Brent Waters, a cryptography professor in the Department of Computer Science at UT Austin, was recently named one of IEEE’s ...

Nothing on my web pages should be taken as representing the official position of the University of Texas at Austin or any other part of the government of the State of Texas.

I am currently conducting fundamental research in the area of distributed real-time systems. My primary concerns include specification techniques for real-time systems, algorithms for guaranteeing ...

Please find data links below, together with the associated papers. Per-user presence/absence label data on 12 attributes, used to discover "shades of meaning" of attributes. Also includes textual ...