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

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

This page shows you how to create a jar file (java archive) using the Eclipse IDE. The instructions are for bundling the source code (.java files) into a jar. These instructions do not cover how to ...

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

This course examines basic issues in operating system design and implementation. The operating system provides a well-known, convenient, and efficient interface between user programs and the bare ...

MJRTY - A Fast Majority Vote Algorithm, with R.S. Boyer. In R.S. Boyer (ed.), Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series ...

Assignments will typically consist of a single Python file. The assignment descriptions shall specify which files to submitt and how they shall be named. Assignments that are not in the correct format ...

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

Classes will be offered both in-person and on Zoom (your choice of which to attend). Given the Covid situation, we will adapt as needed. COVID-19 Information is the UT page for Covid information and ...

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

Sumaya M Al-Bedaiwi, salbedaiwi@utexas.edu, Office hours: Mon 12:30 PM - 1:30 PM, Wed 3:30 PM - 4:30 PM in the GDC Basement.

Current version of system Cmodels is 3.86.1. Starting version 3.81 of Cmodels, the system supports incremental answer set solving. (One may add constraints to a program on the fly.) The interface for ...