Chuchu Fan is the recipient of the 2020 ACM Doctoral Dissertation Award for "Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications." The dissertation makes foundational contributions to verification of embedded and cyber-physical systems, and demonstrates applicability of the developed verification technologies in industrial-scale systems.
Fan earned her Ph.D. in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign. She is now an assistant professor at the Massachusetts Institute of Technology.
Honorable Mentions for the 2020 ACM Doctoral Dissertation Award go to Henry Corrigan-Gibbs for "Protecting Privacy by Splitting Trust," and Ralf Jung for "Understanding and Evolving the Rust Programming Language."
Corrigan-Gibbs received his Ph.D. in Computer Science from Stanford University, and is now an assistant professor at MIT.
Jung received his Ph.D. from Saarland University, and is now a post-doctoral researcher at the Max Planck Institute for Software Systems.
From Association for Computing Machinery
View Full Article