Thesis Title: Automated Analyses for Continuous Computations
Sasa Misailovic, Chair and Director of Research
Darko Marinov
Gagandeep Singh
Jan Hückelheim, Argonne National Laboratory
If you wish to attend via zoom, please email Chair or student for Zoom password prior to exam.