E. Allen Emerson

The 2009 Visions of Computing Lecture: Model Checking Over Time

March 2, 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. ...

ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs

February 4, 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. ...

Two UTCS Faculty Among the Most Highly Cited Researchers

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

Visions of Computer Sciences Research Lectures

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

Syndicate content