BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20180311T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20181104T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69e75a9481365
DTSTART;TZID=America/Toronto:20190125T123000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20190125T123000
URL:https://uwaterloo.ca/institute-for-quantum-computing/events/phd-thesis-
 defence-2
LOCATION:QNC - Quantum Nano Centre B204 Canada
SUMMARY:PhD Thesis Defence
CLASS:PUBLIC
DESCRIPTION:FORMAL METHODS IN QUANTUM CIRCUIT DESIGN\n\nPhD Candidate: Matt
 hew Amy\nSupervisor: Michele Mosca\n[https://services.iqc.uwaterloo.ca/peo
 ple/profile/mmosca/]\n\nOral defence in QNC B204.\n\nThe design and compil
 ation of correct\, efficient quantum circuits is\nintegral to the future o
 peration of quantum computers. This thesis\nmakes contributions to the pro
 blems of optimizing and verifying\nquantum circuits\, with an emphasis on 
 the development of formal models\nfor such purposes. We also present softw
 are implementations of these\nmethods\, which together form a full stack o
 f tools for the design of\noptimized\, formally verified quantum oracles.
DTSTAMP:20260421T110804Z
END:VEVENT
END:VCALENDAR