Teaching: I teach honors Computer Graphics, and a Physical Simulation graduate elective, every spring. See the course page for more details. Prospective Students: I am not actively looking to expand ...

Consistently ranked one of the nation's top computer science programs, UT Computer Science supplies the people and ideas shaping the digital frontier.

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

JavaDoc for Course Code All packages Vector-Space Retrieval Performance Evaluation Web Utilities Text Classifers Utilities Related Courses Information Retrieval Course at UMass Web Search and Mining ...

Some algorithms are more efficient than others. We would prefer to chose an efficient algorithm, so it would be nice to have metrics for comparing algorithm efficiency. The complexity of an algorithm ...

E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare "Proof of Program ...

Adam R. Klivans Professor of Computer Science, UT-AustinDirector, Director, Machine Learning Lab ...

Welcome to Distributed Systems! This course will introduce you to the principles behind building robust distributed systems, and get practical experience building a small distributed system. We will ...

On this page you will find descriptions of the courses that we offer. See the registrar's schedule of current and upcoming offerings (with times). For future semesters, students may view our projected ...

The advent of architectures with multi-level memories, including caches, shared memories, and distributed memories, has forced a re-evaluation of how linear algebra libraries are developed.

Support Free Speech on the Internet! "Free speech not only lives, it rocks!" -- Oprah Winfrey Professor of Computer Science at The University of Texas at Austin and member of the Artificial ...

The study of computer hardware is usually considered a part of computer engineering. The deployment of commercial computer systems is often called information technology or information systems.