Seminar • Software Engineering • Trustworthy Software Enabled by Program Analysis and Synthesis
Please note: This seminar will take place in DC 1304 and virtually over Zoom.
Jingbo Wang, PhD candidate
Department of Computer Science, University of Southern California
Security, robustness, and fairness are all important non-functional properties of critical systems, such as software applications in autonomous driving, healthcare, and finance. Unlike functional correctness, which has been the subject of extensive research, techniques that can formally guarantee these non-functional properties are still severely lacking.