Thesis defence

Zhong Sheng Hu, Master’s candidate
David R. Cheriton School of Computer Science

Rahul Iyer, Master’s candidate
David R. Cheriton School of Computer Science

Alexander Sachs, Master’s candidate
David R. Cheriton School of Computer Science

Camilo Munoz, Master’s candidate
David R. Cheriton School of Computer Science

Jonathan Vi Perrie, Master’s candidate
David R. Cheriton School of Computer Science

Samin Riasat, Master’s candidate
David R. Cheriton School of Computer Science

Yerbol Aussat, Master’s candidate
David R. Cheriton School of Computer Science

Rylo Ashmore, Master’s candidate
David R. Cheriton School of Computer Science

Benjamin Cassell, PhD candidate
David R. Cheriton School of Computer Science

Kaleb Alway, Master’s candidate
David R. Cheriton School of Computer Science

Master’s Thesis Presentation • Programming Languages — Decidability and Algorithmic Analysis of Dependent Object Types (DOT)