Yuhao Dong, PhD candidate
David R. Cheriton School of Computer Science
Vic DiCiccio has been designated an Honorary Member of the University of Waterloo at the 2019 Fall Convocation for his outstanding service to the University.
Joan Bartlett, School of Information Studies
McGill University
Amine Mhedhbi, PhD candidate
David R. Cheriton School of Computer Science
Chengnian Sun recently joined the David R. Cheriton School of Computer Science as an Assistant Professor. His research interests are in software engineering and programming languages. His work focuses on techniques, tools and methodologies for improving software quality and developers’ productivity.
Marco Serafini, College of Information and Computer Sciences
University of Massachusetts Amherst
Hassan Mousaid, PhD candidate
David R. Cheriton School of Computer Science
Amira Ghenai, PhD candidate
David R. Cheriton School of Computer Science
Amira Ghenai, PhD candidate
David R. Cheriton School of Computer Science
Marianna Rapoport, PhD candidate
David R. Cheriton School of Computer Science
The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's