Sign In

Communications of the ACM

ACM Careers

Chuchu Fan Receives 2020 ACM Doctoral Dissertation Award


View as: Print Mobile App Share: Send by email Share on reddit Share on StumbleUpon Share on Hacker News Share on Tweeter Share on Facebook
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