CSE DEI Speaker Series

Name: Leveraging Formal Methods for Trustworthy AI-assisted Software Development
Start: 2024-04-03T14:00:00-04:00
End: 2024-04-03T15:30:00-04:00
Location: 3725 Beyster Building