Thesis defence

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

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

Achyudh Ram, Master’s candidate
David R. Cheriton School of Computer Science

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

Soroush Ameli, Master’s candidate
David R. Cheriton School of Computer Science

Please note: This PhD defence will be given online.

Anastasia Kuzminykh, PhD candidate
David R. Cheriton School of Computer Science

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

Soumik Ghosh, Master’s candidate
David R. Cheriton School of Computer Science

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

Brittany Postnikoff, Master’s candidate
David R. Cheriton School of Computer Science

This thesis establishes the new field of Robot Social Engineering. We define Robot Social Engineering as the use of social abilities and techniques by robots to manipulate others in order to achieve a goal. We build the field of Robot Social Engineering on the foundations of Human-Robot Interaction research on social robots as well as information security research on social engineering.