Media coverage

  • Our work on adversarial stop signs has been covered by several media outlets, e.g. Quartz and Alphr. It was also discussed in an OpenAI blog.

  • My work on symmetry abstraction-refinement algorithms for faster verification of cyber-physical systems has won the Golden prize for the Graduate category in the ACM SIGBED's Student Research Competition in CPS-Week’21! It got covered by the ECE department's weekly newsletter.

  • My participation in teaching programming using Scratch for middle schools students in Urbana has been covered by The News-Gazette.