The Turing Scholars Honors Program combines a close-knit community with the resources of a top research university. Turing ...

Angie received her M.S. in computer science with a concentration in machine learning from The George Washington University ...

Now in its second year, the Dijkstra Scholars Program is a transformational initiative designed to dismantle barriers to a ...

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

Coding in the Classroom is an outreach initiative in which members of the UT Computer Science community teach coding in local ...

Fig.2 - Rectified flow between π 0 (magenta contour) and π 1 (red contour). Green and blue lines are the trajectories colored based on which mode of π 0 they are associated with for visualization.

I retired from UT in December, 2016. My last big project was FREGE, an online environment for learning introductory logic and discrete mathematics. It is an interactive textbook with over 500 problems ...

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

For a complete installation of Gnu Common Lisp get gcl-2.6.1.exe (15 MB download, 60 MB to install). Unfortunately, at present this version of GCL produces a ^M (Return) character at the end of each ...

Artificial Intelligence and Life in 2030. Peter Stone, Rodney Brooks, Erik Brynjolfsson, Ryan Calo, Oren Etzioni, Greg Hager, Julia Hirschberg, Shivaram Kalyanakrishnan, Ece Kamar, Sarit Kraus, Kevin ...

Let me describe to you by way of introduction the observation that induced me to choose "The threats to computing science" as my topic for this keynote address. The observation is simply that, when ...

Dr. Brent Waters received his Ph.D. in Computer Science from Princeton University in 2004. From 2004-2005, he was a post-doctoral at Stanford University then worked at SRI as a Computer Scientist. In ...