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

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

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

This project seeks to improve system security and robustness by building distributed services that tolerate buggy, selfish, or malicious nodes. We use replication and Byzantine fault tolerant (BFT) ...

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

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.

Show that the following algorithm is a correct solution to the critical section problem for two processes (satisfies the 3 conditions). The solution for process P i (i = 0 or 1) with P j (j = 1 or 0) ...

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

We use a 3-level page table, such that the first 10-bit are for the first level and so on. What is the page size in such a system? What is the size of a page table for a process that has 256K of ...

When emailing us, please put CS395 in the subject line. Topics: This is a graduate seminar course in computer vision. We will survey and discuss current vision papers relating to object recognition, ...

Our students and faculty are changing the world through their contributions to computing education, research, and industry. These awards received by members of the UT Computer Science community make ...

In this paper, we give a straight forward, highly efficient, scalable implementation of common matrix multiplication operations. The algorithms are much simpler than previously published methods, ...