There will be four invited speakers, with two speaking on 12-14 and two on 12-15.
Each invited talk is scheduled for 1 hour total, including questions and discussion.
Dr. Joshu Guttman
Formerly with MITRE Corporation, Boston
Talk: Everyday Rigor for Designing Protocols
Email:
oshua.guttman@gmail.com
Dr. Min Wu
Stanford Center for AI Safety
Talk: Safe and Trustworthy AI with Verifiable Guarantees
Research on safe and trustworthy AI systems with verifiable guarantees, at the intersection of AI and formal methods.
Covers formal explainable AI for trust and robustness guarantees via verification techniques, including applications in autonomous systems and standards like ISO/IEC TR 5469:2024.
Min Wu is a postdoctoral scholar at Stanford working with Prof. Clark Barrett. She received her PhD from Oxford under Prof. Marta Kwiatkowska. Her work focuses on verifiably safe AI for high-stakes applications.
Email:
minwu@stanford.edu |
Website
Dr. Neal Krawetz
Hacker Factor Solutions, Fort Collins, Colorado
Talk: Provenance Under Pressure: Stress-Testing C2PA, SEAL, and related solutions
Dr. Krawetz earned a PhD from Texas A&M and founded Hacker Factor Solutions. He specializes in digital
forensics and media provenance, and develops FotoForensics, a leading analysis platform.
Email:
dr.krawetz@hackerfactor.com |
Website