Seminar • AI Institute — Multimedia Machine Learning/AI for Multimedia Content Analysis
Xiao-Ping Zhang, Department of Electrical, Computer & Biomedical Engineering
Ryerson University
Xiao-Ping Zhang, Department of Electrical, Computer & Biomedical Engineering
Ryerson University
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