2020 ACM Doctoral Dissertation Award Winners Announced (IMAGE)

Association for Computing Machinery

2020 ACM Doctoral Dissertation Award Winners Announced

Caption

ACM, the Association for Computing Machinery, today announced that Chuchu Fan receives 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 verification of embedded and cyber-physical systems, and demonstrates applicability of the developed verification technologies in industrial-scale systems.

Credit

Association for Computing Machinery

Usage Restrictions

None

License

Licensed content

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.