Sign In

Communications of the ACM

ACM Careers

Chuchu Fan Receives 2020 ACM Doctoral Dissertation Award

View as: Print Mobile App Share:
MIT Assistant Professor Chuchu Fan

Chuchu Fan's dissertation advances the theory for sensitivity analysis and symbolic reachability.

Credit: MIT

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


No entries found

Sign In for Full Access
» Forgot Password? » Create an ACM Web Account