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

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

The original query language is basically a first-order logical form augmented with some higher-order predicates or meta-predicates, for handling issues such as quantification over implicit sets. It ...

We can show you the Knuth-Pratt-Morris algorithm and we can show you the Boyer-Moore algorithm. Our algorithm has the peculiar property that, roughly speaking, the longer the pattern is, the faster ...

The last few OOPSLA's have had acceptance rates of around 12%, low by anyone's standards. The acceptance rate for OOPSLA'93 was 9%, due in part to a large number of submissions, and in part to a ...

Her research has produced scalable computational methods for design of next-generation engineered systems, with a particular focus on model reduction as a way to learn principled approximations from ...

This project seeks to improve system security and robustness by building distributed services that tolerate buggy, selfish, or malicious nodes. We use replication and Byzantine fault tolerant (BFT) ...

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

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

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

A tetrahedral finite element mesh of a human heart model. A simple triangular surface mesh of the heart is converted into volumetric finite element tetrahedral mesh using our mesh generation method, ...