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:69d94fefa3a34
DTSTART;TZID=America/Toronto:20190125T123000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20190125T123000
URL:https://uwaterloo.ca/computer-science/events/phd-defence-institute-quan
 tum-computing-formal-methods
LOCATION:QNC - Quantum Nano Centre 200 University Avenue West B204 Waterloo
  ON N2L 3G1 Canada
SUMMARY:PhD Defence • Institute for Quantum Computing — Formal Methods 
 in\nQuantum Circuit Design
CLASS:PUBLIC
DESCRIPTION:MATTHEW AMY\, PHD CANDIDATE\n_David R. Cheriton School of Compu
 ter Science_\n\nThe design and compilation of correct\, efficient quantum 
 circuits is\nintegral to the future operation of quantum computers. This t
 hesis\nmakes contributions to the problems of optimizing and verifying\nqu
 antum circuits\, with an emphasis on the development of formal models\nfor
  such purposes. We also present software implementations of these\nmethods
 \, which together form a full stack of tools for the design of\noptimized\
 , formally verified quantum oracles.
DTSTAMP:20260410T193055Z
END:VEVENT
END:VCALENDAR