E. Allen Emerson

The 2009 Visions of Computing Lecture: Model Checking Over Time

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

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

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.

Subscribe to RSS - E. Allen Emerson