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
Priyank Jaini, PhD candidate
David R. Cheriton School of Computer Science
Spyros Angelopoulos, CNRS Researcher
Laboratoire d'informatique de Paris 6 (LIP6), Sorbonne Université