Seminar • Software Engineering • Correctness Matters: Automatic Software Engineering in the Age of Generative AI
Please note: This seminar will take place in DC 1304.
Claire Le Goues, Professor
School of Computer Science, Carnegie Mellon University
Claire Le Goues, Professor
School of Computer Science, Carnegie Mellon University
Chenxi Liu, Postdoctoral Researcher
Dynamic Graphics Project, University of Toronto
Anwar Walid, PhD
Robert Wang, PhD candidate
David R. Cheriton School of Computer Science
Xinyue Shen, PhD candidate
CISPA Helmholtz Center for Information Security
Chelsea Komlo, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Ian Goldberg, Douglas Stebila
Daniel M. Berry, Professor
David R. Cheriton School of Computer Science
Daniel M. Berry, Professor
David R. Cheriton School of Computer Science
Soheil Johari, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Raouf Boutaba
Ruoxi Ning, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Freda Shi