Thesis defence

Please note: This master’s thesis presentation will be given online.

Wei Sun, Master’s candidate
David R. Cheriton School of Computer Science

Please note: This master’s thesis presentation will be given online.

Jeremy Chen, Master’s candidate
David R. Cheriton School of Computer Science

Please note: This master’s thesis presentation will be given online.

Steven Engler, Master’s candidate
David R. Cheriton School of Computer Science

Please note: This master’s thesis presentation will be given online.

Chelsea Komlo, Master’s candidate
David R. Cheriton School of Computer Science

Please note: This PhD defence will be given online.

Pavel Valov, PhD candidate
David R. Cheriton School of Computer Science

Please note: This master’s thesis presentation will be given online.

Davood Anbarnam, Master’s candidate
David R. Cheriton School of Computer Science

Please note: This PhD defence will be given online.

Mike Schaekermann, PhD candidate
David R. Cheriton School of Computer Science

Please note: This master’s thesis presentation will be given online.

Amin Bandali, Master’s candidate
David R. Cheriton School of Computer Science

Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and formally. An abstract model is a concise and compact representation of key characteristics of a system, and enables the stakeholders to reason about the correctness of the system in the early stages of development.

Please note: This PhD defence will be given online.

Abel Molina, PhD candidate
David R. Cheriton School of Computer Science

We present results on quantum Turing machines and on prover-verifier interactions.

Please note: This PhD defence will be given online.

Nashid Shahriar, PhD candidate
David R. Cheriton School of Computer Science