Outreach
Academic service, invited talks, research support, awards, and fellowships.
Academic Service
- HSCC+ICCPS 2027: Artifact / Repeatability Evaluation Co-Chair
- Conference reviewing: AAAI (2026–2027); NeurIPS (2025–2026); ICLR (2026); IEEE CDC (2022–2026); ACC, IROS, EMSOFT, CHASE, IEEE RTSS, and QEST/FORMATS (2026)
- Journal reviewing: IEEE Transactions on Control of Network Systems (2025–2026); IEEE Transactions on Automatic Control (2023–2026); IEEE Transactions on Information Forensics and Security (2023–2025); ACM Transactions on Cyber-Physical Systems (2023–2025); IEEE Transactions on Robotics (2025); IEEE Robotics and Automation Letters (2025–2026); IEEE Transactions on Intelligent Vehicles (2026)
Invited Talks
- Vanderbilt University, September 2025 — Resilient Safe Control of Autonomous Systems; host: Thomas Beckers
- University of Michigan, February 2025 — Resilient Safe Control of Autonomous Systems; host: Necmiye Ozay
- Washington University in St. Louis Center for Trustworthy AI in CPS, April 2024 — Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing Attacks
Research Support
- Vanderbilt Center for Sustainability, Energy, and Climate Seed Project Fund Award, 2026 ($200,000 total): Reliable AI and Critical Infrastructure: Compliance, Resilience, and Explainability in Electric and Water Networks. Investigators: Taylor T. Johnson, Meiyi Ma, Ahmad F. Taha, Mark Williams, and Hongchao Zhang.
- National Science Foundation CMMI-2418806, 2024: provided neural-symbolic verification supporting the grant. This entry records a research contribution, not a personal award.
Awards and Fellowship
- General Motors AutoDriving Security Award, 2023, ISOC Symposium on Vehicle Security and Privacy
- Shao-Fang and Tsu-Chin Lee Endowed Fellowship, 2022, Washington University in St. Louis