John Cyphert PhD Final Defense
Compositional, Monotone, and Non-linear Program Analysis
Event Details
Date
Friday, December 15, 2023
Time
2 p.m.
Location
Description
Committee:
Thomas Reps (Advisor)
Loris D'Antoni
Mihalea Ifrim
Zachary Kincaid
Thomas Reps (Advisor)
Loris D'Antoni
Mihalea Ifrim
Zachary Kincaid
Cost
Free