Events

Filters
Export this event to calendar
iCal
RSS
RSS
Close X

Filter by:

Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the title matches:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Friday, June 26, 2020 2:30 pm - 2:30 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) — Robot Social Engineering

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.

Tuesday, June 30, 2020 1:00 pm - 1:00 pm EDT (GMT -04:00)

Master’s Thesis Presentation • Formal Methods — A Comprehensive Study of Declarative Modelling Languages

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.

Wednesday, July 8, 2020 3:00 pm - 3:00 pm EDT (GMT -04:00)

PhD Seminar • Symbolic Computation — Fast Computation of the Smith Form of a Nonsingular Integer Matrix

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$.