March 2 , 2009 from 4:15 p.m. - 5:30 p.m. Lecture in Avaya Auditorium, ACES 2.302; private reception for invited guests followed from 5:45 p.m. - 7:30 p.m.
The Visions of Computing Lecture Series highlights faculty accomplishments and provides public education about computer science.
ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking.
UTCS recognizes faculty and graduate students who earned awards in honors in 2004.
The June 9, 2004 edition of the @Texas Newsletter announced that UT is home to 29 of the most highly cited researchers in the world by the Institute for Scientific Information. Among those listed are two UTCS faculty, Dr. E. Allen Emerson and Dr. Jayadev Misra.
The Department of Computer Sciences is proud to announce the annual Visions of Computer Sciences Research Lectures. The first lecture will be held Friday, January 25, 2002. Formal Methods is the topic this year.