Current students

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.

Dhruv Kumar, Master’s candidate
David R. Cheriton School of Computer Science

Please note: This PhD seminar will be given online.

Stavros Birmpilis, PhD candidate
David R. Cheriton School of Computer Science

Any nonsingular matrix $A \in \mathbb{Z}^{n\times n}$ is unimodularly equivalent to a unique diagonal matrix $S = diag(s_1, s_2, \ldots, s_n)$ in Smith form. The diagonal entries, the invariant factors of $A$, are positive with $s_1 \mid s_2 \mid \cdots \mid s_n$, and unimodularly equivalent means that there exist unimodular (with determinant ±1) matrices $U, V \in \mathbb{Z}^{n\times n}$ such that $UAV = S$.

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