VISIONS 2009 Lecture: E. Allen Emerson/UTCS: Model Checking and Reasoning about Time" ACES 2.302, Monday, March 2, 2009 4:15 p.m.

Contact Name: 
Jenna Whitney
Mar 2, 2009 4:15pm - 5:45pm

Type of Talk:  UTCS Visions Lecture


liation:  E. Allen Emerson/University of Texas-Austin, Department of
Computer Sciences

Date/Time:  Monday, March 2, 2009  4

:15 p.m.

Location:  ACES 2.302, Avaya Auditorium


bsp; J Moore

Talk Title:  "Model Checking and Reasoning

About Time"

This year’s lecture will take place on Monda

y, March 2, 2009, from 4:15 – 5:30 p.m. in the Avaya Auditorium,
ACES 2.302. Please join us to honor and congratulate Dr. E. Allen Emerson

, the 2009 speaker and winner of the ACM A.M. Turing Award, at his lecture


E. Allen Emerson was named a winner of the 2007 A.M. Turing Aw

ard, widely considered the most prestigious award in computing, by the As

sociation for Computing Machinery for his original and continuing research

in a quality assurance process known as Model Checking.

The A.M.
Turing Award was named for Alan M. Turing, the British mathematician who

articulated the mathematical foundation and limits of computing, and who w

as a key contributor to the Allied cryptanalysis of the German Enigma ciphe

r during World War II. Since its inception in 1966, the Turing Award has h

onored the computer scientists and engineers who created the systems and un

derlying theoretical foundations that have propelled the information techno

logy industry. For additional information, click on


Details at:


Questions? Co

ntact Cindy Schindler at cds [at] cs [dot] utexas [dot] edu or 471-9797.