Zi Wang's defense
Programming Language Principles for AI systems: Interpretation, Duality and Incremental Computation
Event Details
Date
Today, December 22, 2025
Time
2-4 p.m.
Location
Description
This dissertation defense presents a retrospective synthesis of research on AI systems from computational and formal-linguistic perspectives, integrating tools from logic, optimization, and related mathematical frameworks to articulate a unified view of the contributions.
Committee: Somesh Jha (Chair), Yudong Chen, Kassem Fawaz (ECE), Emily Riehl (Kelly Miller Professor of Mathematics, JHU).
Committee: Somesh Jha (Chair), Yudong Chen, Kassem Fawaz (ECE), Emily Riehl (Kelly Miller Professor of Mathematics, JHU).
Cost
Free
Contact