03/28/2025 - E. Allen Emerson, a beloved and long-serving member of the faculty in Computer Science at UT Austin and a renowned Computer Scientist, passed away in October of 2024. In this one-day memorial seminar, we will share memories of Allen, reflect on the seminal influence of his ideas in logic and computing, and celebrate his life and work.
10/18/2024 - UT Computer Science mourns the loss of Professor Emeritus E. Allen Emerson, winner of the most prestigious award in computer science and a faculty member in the Department of Computer Science at The University of Texas at Austin since the early 1980s, who died on October 15 after an extended illness."I'm very sad to learn of Allen's death, he was a good friend and a great scientist,” said Don Fussell, Chair of the Department of Computer Science. “His work was a huge step forward in the development of tools that help designers create systems with known, verifiable properties."
03/02/2009 - 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.
02/04/2008 - 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.
07/30/2004 - UTCS recognizes faculty and graduate students who earned awards in honors in 2004.
06/12/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.
01/25/2002 - 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.