UT Computer Science mourns the loss of Professor Emeritus E. Allen Emerson, winner of the most prestigious award in computer ...

where context-name is the name of the context (usually the name of the kind of object being identified or diagnosed, e.g., rock or patient), parameters is a list of parameter descriptions, ...

Though computers have surpassed humans at many tasks, especially computationally intensive ones, there are many tasks for which human expertise remains necessary and/or useful. For such tasks, it is ...

FMCAD 2014 is the fourteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia ...

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

Latest news: I have started as tenure-track faculty at Tufts CS as of the Fall of 2017. My new website is here and thanks to everyone who helped make this happen! Postdoctoral Fellow with the Learning ...

I'm an assistant professor in the Computer Science Department and the Institute for Computational Engineering and Sciences (ICES) at the University of Texas at Austin. I was a PhD student at the ...

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

Nothing on my web pages should be taken as representing the official position of the University of Texas at Austin or any other part of the government of the State of Texas.

If you are considering taking a CS370 course with me, please take a look at this page: CS370 Syllabus. I will accept only a very limited number of CS370 students each semester.

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

Collaborative Project Plans (CPPs) are intended to allow interested individuals at different institutions to collaborate on research projects in a meaningful way. The template for describing ...