BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH BEGIN:VEVENT UID:20260904T215633-144848994-northwestern.edu DTSTAMP:20260904T215633 DTSTART:20251119T120000 DTEND:20251119T130000 SUMMARY:CS Seminar: Quantum Programming in Qunity (Robert Rand) LOCATION:3514, Mudd Hall ( formerly Seeley G. Mudd Library) DESCRIPTION:Wednesday / CS Seminar\nNovember 19 / 12:00 PM\nHybrid / Mudd 3514\nSpeaker\nRobert Rand, University of Chicago\nTalk Title\nQuantum Programming in Qunity\nAbstract\nQunity is a high-level functional language for writing quantum programs in the style of OCaml or Haskell. Qunity treats classical and quantum data equivalently, allowing us to run the same programs on classical data and quantum superpositions. It takes key concepts from classical programming, like pattern matching, try-catch blocks, and data duplication and lifts them to the quantum setting. In this talk, I will describe Qunity, along with recent extensions that enable easier classical and pure quantum programming, and its compiler to quantum circuits.\nBiography\nRobert Rand is an Assistant Professor of Computer Science at the University of Chicago. His research focuses on programming languages and verification for quantum computing and his main projects include the Qunity quantum programming language, the BellKAT DSL for quantum networking, and VyZX, a verified ZX calculus library. He also works on a range of verification projects, from adding automation to the Rocq proof assistant to developing quantum program logics. Robert developed and maintains the INQWIRE QuantumLib, an open-source library for verified quantum computing in Rocq, which underlies many of his projects including his online textbook, Verified Quantum Computing.\n---\nZoom Link\nPanopto Link\n\nPiP URL: https://planitpurple.northwestern.edu/event/632644 END:VEVENT END:VCALENDAR ORGANIZER:Department of Computer Science (CS)