Events

Ali Abbassi, Master’s candidate
David R. Cheriton School of Computer Science

We present a variety of translation options for converting Alloy to SMT-LIB via Alloy’s Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational operations of Alloy into their equivalent in typed first order logic (TFOL). 

Joseph Haraldson, PhD candidate
David R. Cheriton School of Computer Science

We consider the problem of computing the nearest matrix polynomial with a non-trivial Smith Normal Form (SNF). This is a non-convex optimization problem where we find a nearby matrix polynomial with prescribed eigenvalues and associated multiplicity structure in the invariant factors.

Si Chuang Li, Master’s candidate
David R. Cheriton School of Computer Science

Noah Murad, Master’s candidate
David R. Cheriton School of Computer Science

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

Verena Kantere
School of Electrical Engineering and Computer Science, University of Ottawa

Big Data analytics in science and industry are performed on a range of heterogeneous data stores, both traditional and modern, and on a diversity of query engines. Workflows are difficult to design and implement since they span a variety of systems. To reduce development time and processing costs, some automation is needed.

Christian Gorenflo, PhD candidate
David R. Cheriton School of Computer Science

Blockchain technologies are expected to make a significant impact on a variety of industries. However, one issue holding them back is their limited transaction throughput, especially compared to established solutions such as distributed database systems. 

Jose Serna, Master’s candidate
David R. Cheriton School of Computer Science

Nolen Scaife, PhD candidate
Florida Institute for Cybersecurity, University of Florida

Credit, debit, and prepaid cards have dominated the payment landscape for decades, empowering the economy. Unfortunately, these legacy systems were not designed for today's adversarial environment, and deployment of new technologies is slow, expensive, and difficult to adopt. 

Dan Wolczuk, Faculty of Mathematics
University of Waterloo

In educational psychology, the curse of knowledge refers to the phenomenon that individuals inherently assume that the people they are communicating with have the same knowledge and thought processes as they do. 

In this seminar, we will discuss how the curse of knowledge can affect both instructors and students, and we will look at some strategies that instructors can use to try to counteract this and improve student learning.