The John Simon Guggenheim Memorial Foundation has named Swarat Chaudhuri, a professor of computer science at The University ...

The UT Computer Science graduate program continues to be recognized as a top 10 program in the nation, as well as among the ...

Raghu Meka, a 2011 doctoral graduate, was awarded with one of the highest research awards by the IEEE Computer Society, an ...

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

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

Quick Index: [ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | VWXYZ] If you are working on or know of related work not mentioned ...

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

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

McHenrys Peak and Chiefs Head from Powell Peak. Climb the mountains and get their good tidings. Nature's peace will flow into you as sunshine flows into trees. The winds will blow their own freshness ...

West Papua borders the independent nation of Papua New Guinea and forms the western half of the world's second largest island. West Papua became the twenty-sixth province of Indonesia in 1969 after ...

The Department of Computer Science is proud to celebrate fourth-year Ph.D. student, Vinayak M. Kumar, who earned a coveted ...