Seminar • Systems and Networking • Improving Reliability of Modern Cloud Systems with Verification in the Loop
Please note: This seminar will take place online.
Xudong Sun, PhD candidate
University of Illinois Urbana-Champaign
Xudong Sun, PhD candidate
University of Illinois Urbana-Champaign
Xinyu Crystina Zhang, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jimmy Lin
Luke Schaeffer, Professor
Institute for Quantum Computing
David R. Cheriton School of Computer Science
Nirav Atre, PhD candidate
Computer Science Department, Carnegie Mellon University
Marc Lanctot, Research Scientist
Google DeepMind
Saber Malekmohammadi, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Yaoliang Yu
Vihan Shah, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Sepehr Assadi
Mahdi Haghifam, Distinguished Postdoctoral Researcher
Khoury College of Computer Sciences, Northeastern University
Cameron Seth, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Eric Blais
Andre Kassis, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Urs Hengartner