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

My main research interest is in computational theories of the brain with emphasis on human vision and motor control. In 1985 Chris Brown and I led a team that designed and built a high speed binocular ...

The faculty as a whole have the responsibility to formulate a curriculum that will prepare you for a lifetime of work in the field of computing. Yes, some of what you learn will get you a job right ...

You need to have downloaded and installed BlueJ before completing the following steps. Download the java files you need from the class web site. You don't have to put ...

3. Stein Variational Gradient Descent as Gradient Flow. Qiang Liu. NIPS. 2017 4. Stein Variational Gradient Descent as Moment Matching. Qiang Liu and Dilin Wang. NIPS. 2018 5. Nonlinear Stein ...

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

The theory not only explains the first order effects which are dominant in angle range of to , but also accounts for the second order effects which can be seen in to range, where the sign of the ...

In Lecture 7 we saw how the simply typed lambda calculus (STLC), and type systems in general, can be powerful tools for guaranteeing safety properties about programs. Robin Milner tells us that "well ...

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

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