The University of Texas at Austin has been selected to lead the NSF-Simons AI Institute for Cosmic Origins, a new $20 million ...

circuit complexity, lower bound methods, algorithms, and combinatorics. Jeff Ford, ``Lower Bound Methods for Multiparty Communication Complexity'', Ph. D. May 2006. Vladimir Trifonov, ``Techniques for ...

As of August 2020 I'm a research scientist at Sony AI. Prior to that I was a postdoctoral researcher at Microsoft Research in the reinforcement learning group.

The FastFile file system uses an inode array to organize the files on disk. Each inode consists of a user id (2 bytes), three time stamps (4 bytes each), protection bits (2 bytes), a reference count ...

News: As of January 2009, I have moved to the University of Michigan, where I am a Professor of Computer Science and Engineering in the EECS Department.

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

[ This section is a little out of place--need to introduce type and equality predicates first! Those have been presented in class, so this should be comprehensible anyway. Need to make this a separate ...

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

It is a misnomer. As Edsger Dijkstra used to say "Computer Science is no more about computers than astronomy is about telescopes". Computer Science is closely related to mathematics. It is the study ...

Artificial intelligence is very loosely regulated in the U.S. What kinds of laws would help make AI safer and more useful for ...

The University of Texas at Austin, Department of Computer Science, Austin, TX, 09/2010- Associate Professor. Working on network management, network measurement, and security. The University of Texas ...

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