Events

Matthew Amy, PhD candidate
David R. Cheriton School of Computer Science

The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with an emphasis on the development of formal models for such purposes. We also present software implementations of these methods, which together form a full stack of tools for the design of optimized, formally verified quantum oracles.

Ana Klimovic, Electrical Engineering Department
Stanford University

Linguan Yang, PhD candidate
David R. Cheriton School of Computer Science

Ke Nian, PhD candidate
David R. Cheriton School of Computer Science

Francis Poulin, Department of Applied Mathematics
University of Waterloo

Years ago I co-designed a course called Environmental Informatics, AMATH/EARTH 310, which has since disappeared. The idea of this course was to bring applied math and earth science students together to learn about problems that overlap these two fields. One topic that I taught was chaos. 

Lili Mou, Postdoctoral fellow
University of Waterloo

Bahareh Sarrafzadeh, PhD candidate
David R. Cheriton School of Computer Science

Email triage involves going through unhandled emails and deciding what to do with them. This familiar process can become increasingly challenging as the number of unhandled email grows. During a triage session, users commonly defer handling emails that they cannot immediately deal with to later. These deferred emails, are often related to tasks that are postponed until the user has more time or the right information to deal with them. 

Yousra Aafer, Postdoctoral Researcher
Department of Computer Science, Purdue University

Helge Rhodin, Computer Vision Laboratory
Ecole polytechnique fédérale de Lausanne

Bushra Aloraini, PhD candidate
David R. Cheriton School of Computer Science