Master’s Thesis Presentation • Formal Methods • Profiling Alloy Models
Please note: This master’s thesis presentation will be given online.
Elias Eid, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Nancy Day
Elias Eid, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Nancy Day
Jumyung “JC” Chang, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Christopher Batty
Anup Anand Deshmukh, Master’s candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Ming Li, Jimmy Lin
Udhav Sethi, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Ken Salem
Arthur Wesley, Master’s candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Richard Trefler, Arie Gurfinkel
Rasoul Akhavan Mahdavi, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Florian Kerschbaum
Sebastian Reynaldo Verschoor, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Michele Mosca
Zongliang Ji, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Olga Veksler
Xinan Yan, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Bernard Wong
Stavros Birmpilis, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors George Labahn, Arne Storjohann