Events

Machine Learning for Formal Software Verification

Event Type: Faculty Candidate Talk
Speaker: Emily First

Location: CoRE 301
Event Date: 10:30am - 12:00pm