Taylor T Johnson on Twitter: "Chuchu Fan, @ECEILLINOIS, great talk on formal verification for cyber-physical systems (CPS) at @VUEngineering ! @Mitrasayn @verivital https://t.co/QY0YkEjvFs" / Twitter
Illinois ECE - Congratulations to Chuchu Fan (MS '16, PhD '19) for receiving the 2020 ACM Doctoral Dissertation Award, presented annually to the author of the best doctoral dissertation in computer science
![🥖sayan mitra 🥖 on Twitter: "Chuchu Fan receiving Rambus Computer Engineering Fellowship from #ECEIllinois head @billurbana Congrats! https://t.co/QAK3ouTtgc" / Twitter 🥖sayan mitra 🥖 on Twitter: "Chuchu Fan receiving Rambus Computer Engineering Fellowship from #ECEIllinois head @billurbana Congrats! https://t.co/QAK3ouTtgc" / Twitter](https://pbs.twimg.com/media/ChFgmhLWkAADAue.jpg)
🥖sayan mitra 🥖 on Twitter: "Chuchu Fan receiving Rambus Computer Engineering Fellowship from #ECEIllinois head @billurbana Congrats! https://t.co/QAK3ouTtgc" / Twitter
![Designing Safe and Reliable Autonomous Systems - Addressing the Challenges of Large Scale - 5 of 5 - YouTube Designing Safe and Reliable Autonomous Systems - Addressing the Challenges of Large Scale - 5 of 5 - YouTube](https://i.ytimg.com/vi/seBrZhrXeRw/maxresdefault.jpg)
Designing Safe and Reliable Autonomous Systems - Addressing the Challenges of Large Scale - 5 of 5 - YouTube
![🥖sayan mitra 🥖 on Twitter: "Chuchu Fan and Nicole Chan @CRAWomen presenting research at #GradCohort2016 https://t.co/ytZjXV4N4o" / Twitter 🥖sayan mitra 🥖 on Twitter: "Chuchu Fan and Nicole Chan @CRAWomen presenting research at #GradCohort2016 https://t.co/ytZjXV4N4o" / Twitter](https://pbs.twimg.com/media/Cg2u36KUoAA1dbh.jpg:large)
🥖sayan mitra 🥖 on Twitter: "Chuchu Fan and Nicole Chan @CRAWomen presenting research at #GradCohort2016 https://t.co/ytZjXV4N4o" / Twitter
![Best Tool Result Award for Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan | CPS-VO Best Tool Result Award for Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan | CPS-VO](https://cps-vo.org/sites/default/files/imagecache/160W_210H_news_thumbnail/images/news/ARCH_toolAward2015.jpeg)