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.