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

Though computers have surpassed humans at many tasks, especially computationally intensive ones, there are many tasks for which human expertise remains necessary and/or useful. For such tasks, it is ...

The subdirectory cli-notes contains a few members of the Internal Notes series of Computational Logic, Inc. These are exactly the internal notes referenced in the second edition of A Computational ...