
Doctoral Degrees Conferred
Name | Thesis Advisor(s) | Thesis Title |
---|---|---|
Abutalib Aghayev | Georget Amvrosiadis | Adopting Zoned Storage in Distributed Storage Systems |
Naama Ben David | Guy Blelloch | Theoretical Foundations for Practical Concurrent and Distributed Computation |
Rose Bohrer | Andre Platzer | Practical End-to-End Verification of Cyber-Physical Systems |
Noam Brown | Tuomas Sandholm | Equilibrium Finding for Large Adversarial Imperfect-Information Games |
Evan Cavallo | Robert Harper | Higher Inductive Types and Internal Parametricity for Cubical Type Theory |