Master’s Thesis Presentation • Programming Languages — Decidability and Algorithmic Analysis of Dependent Object Types (DOT)
Zhong Sheng Hu, Master’s candidate
David R. Cheriton School of Computer Science
Zhong Sheng Hu, Master’s candidate
David R. Cheriton School of Computer Science
Hamidreza Shahidi, Master’s candidate
David R. Cheriton School of Computer Science
Abeer Khan, Master’s candidate
David R. Cheriton School of Computer Science
Alex Norton, Master’s candidate
David R. Cheriton School of Computer Science
Kaleb Alway, Master’s candidate
David R. Cheriton School of Computer Science
Mohammed Alliheedi, PhD candidate
David R. Cheriton School of Computer Science
Jian Deng, Master’s candidate
David R. Cheriton School of Computer Science
Braden Hurl, Master’s candidate
David R. Cheriton School of Computer Science
Fiodar Kazhamiaka, PhD candidate
David R. Cheriton School of Computer Science
Nicole Dillen, Master’s candidate
David R. Cheriton School of Computer Science