- June 16, 2010
Platzer cited by ACM for dissertation
Andre Platzer, assistant professor of computer science, will share honorable mention for the 2009 Association for Computing Machinery Doctoral Dissertation Award.
Platzer, who will share the $10,000 prize with Haryadi Gunawi of the University of California, Berkeley, and Noah Snavely of Cornell University, was nominated for the honor by the University of Oldenburg, Germany, for his dissertation “Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems.” Craig Gentry of the IBM T.J. Watson Research Center will receive the ACM Dissertation Award Doctoral Dissertation Award and its $20,000 prize at the annual ACM Awards Banquet on June 26 in San Francisco.
About Carnegie Mellon:
Carnegie Mellon is a private research university with a
distinctive mix of programs in engineering, computer science, robotics, business,
public policy, fine arts and the humanities. More than 10,000 undergraduate and
graduate students receive an education characterized by its focus on creating
and implementing solutions for real problems, interdisciplinary collaboration,
and innovation. A small student-to-faculty ratio provides an opportunity for
close interaction between students and professors. While technology is pervasive
on its 144-acre Pittsburgh campus, Carnegie Mellon is also distinctive among
leading research universities for the world-renowned programs in its College of
Fine Arts. A global university, Carnegie Mellon has campuses in Silicon Valley, Calif.,
and Qatar, and programs in Asia, Australia and Europe.
For more, see www.cmu.edu