Amazon just announced its new AI PhD Fellowship program, which will provide two years of funding for more than 100 PhD ...

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

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.

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

After 20 wonderful years at UT Austin, in the Fall of 2016 I moved back to Cornell, my alma mater. My current web page is here.

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

I am currently conducting fundamental research in the area of distributed real-time systems. My primary concerns include specification techniques for real-time systems, algorithms for guaranteeing ...

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

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

All speakers of the lecture series have received very strict instructions as how to arrange their speech; as a result I expect all speeches to be similar to each other. Mine will not differ, I adhere ...

Journalists seeking an academic to provide expert comment or background briefing on a story should contact our marketing & communications team.

1 On our inability to do much. 4 On the reliability of mechanisms. 8 On our mental aids. 15 An example of a correctness proof. 19 On the validity of proofs versus the validity of implementations. 21 ...