E. Allen Emerson, professor of computer sciences, has been awarded the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for original and continuing research in a quality assurance process known as “Model Checking.” Emerson received the award, given annually by the Association for Computing Machinery (ACM), with collaborator Edmund Clarke, of Carnegie Mellon University, and Joseph Sifakis. Their innovations transformed the Model Checking approach from a theoretical technique to a highly effective verification technology that enables computer hardware and software engineers to find errors efficiently in complex system designs. This transformation has resulted in increased assurance that the systems perform as intended by the designers.
Monday, Aug. 6, 2012
- Campus &
- Arts &
- Business &
- Health &
- Policy &
- Science &
- World &
Social Media Directory
Campus & Community
- Tower shines orange this weekendThe Tower will be lighted May 19 and May 20 in celebration of the 129th spring commencement...
- Look out, world!With commencement festivities fast approaching, take a by-the-numbers infographic...
- Kylie Doniak named Big 12 Female Sportsperson of the YearSimply miraculous. In February, Kylie Doniak was hit by a car in downtown...
- Commencement in highlightsAbout 8,000 students graduated at the 129th spring commencement. Watch video highlights...
- Tower shines orange this weekend