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

For the last few lectures, we've been studing the semantics of IMP, a fairly simple imperative language we created because it roughly emulated what we think a "normal" language looks like—it has ...

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

Discover a unique summer learning experience at our academies on the UT campus. Tailored for high school students entering grades 10–12, each program is taught by UT faculty and focuses on a ...

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

Most of our cognitive functions and perceptual processes are carried out by the neocortex, which is the largest part of the human brain. The primary visual cortex is the part of the neocortex that ...

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