Stone will be joined in leadership of UTCS by Prof. Isil Dillig, a world-renowned, award-winning researcher in Programming ...

Elaine Rich Computer ScienceI got a Ph.D. in CS in 1979 from CMU, with a dissertation, entitled Building and Exploiting User Models. In that work, I showed that stereotypes (models of groups of users ...

On the reliability of programs. All speakers of the lecture series have received very strict instructions as how to arrange their speech; as a result I expect all speeches to be similar to each other.

Ontology Works - Ontology Works is a leading source of ontology construction software, ontology-based database software, and ontology-based information integration software. The Ontology Works IODE is ...

Fig.1 - Rectified flow learns neural ODEs with straight trajectories for both generating (up two rows) and transferring (lower two rows) data, with a very small number N of Euler steps (even a single ...

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 ...

Biography I am an associate professor in the Department of Computer Science at the University of Texas at Austin. My undergraduate and graduate education was at MIT, where I was fortunate to have ...

William D. (Bill) Young Associate Professor of Instruction and Research Scientist Contact info: Department of Computer Science The University of Texas at Austin 2317 Speedway, Stop D9500 Austin, TX ...

Alexander is assistant professor of Neuroscience and Computer Science at the University of Texas at Austin. His research uses computational methods to model how the brain processes language and ...

I moved to Carnegie Mellon University. This page is no longer maintained. Visit the link above for the new webpage. Short Bio I am a Research Assistant Professor at the University of Texas at Austin ...

The story is about the physicist Ludwig Boltzmann, who was willing to reach his goals by lengthy computations. Once somebody complained about the ugliness of his methods, upon which complaint ...

Jump to section: This is the official site of the UT Austin Villa 3D Simulation team from the Department of Computer Science at the University of Texas at Austin. In the RoboCup 3D Simulation League ...