Illinois ECE Graduate Receives Prestigious ACM Doctoral Dissertation Award
ACM, the Association for Computing Machinery, announced that Chuchu Fan (MS '16, PhD '19) received the 2020 ACM Doctoral Dissertation Award for her dissertation “Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications.” The dissertation makes foundational contributions to the verification of embedded and cyber-physical systems and demonstrates the a