Fri, May 31, 2024
9:30 AM - 11:30 PM
Location: SAL 213
Presentation title:  Data-driven and Logic-based Analysis of Learning-enabled Cyber-Physical Systems Names of the guidance committee members: Jyotirmoy Deshmukh, Chao Wang, Souti Chattopadhyay, and Yan Liu   ...

Fri, Jul 12, 2024
11:00 AM - 12:00 PM
Location: RTH 115
Speaker: Michael Pradel, University of Stuttgart Talk Title: Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code Abstract: Developer productivity and software quality critically depend on effective software...