[CS] [masters-presentation] Singhal/MS Presentation/Dec 9, 2020

[Tricia Baclawski]

This is an announcement of Kartik Singhal's MS Presentation.


https://uchicago.zoom.us/j/96663454240?pwd=c01ETUNtaS9sTFc3Q3Y3ZkNHcnFPUT09
Password: 348214

------------------------------------------------------------------------------
Date:  Wednesday, December 9, 2020

Time:  1:00 PM

Place:  via zoom

M.S. Candidate:  Kartik Singhal

M.S. Paper Title: Quantum Hoare Type Theory

Abstract:
As quantum computers become real, it is high time we come up with
effective techniques that help programmers write correct quantum
programs. In classical computing, formal verification and sound static
type systems prevent several classes of bugs from being introduced.
There is a need for similar techniques in the quantum regime. Inspired
by Hoare Type Theory in the classical paradigm, we propose Quantum
Hoare Types by extending the Quantum IO Monad by indexing it with pre-
and postconditions that serve as program specifications. In this
paper, we introduce Quantum Hoare Type Theory (QHTT), present its
syntax and typing rules, and demonstrate its effectiveness with the
help of examples.

QHTT has the potential to be a unified system for programming,
specifying, and reasoning about quantum programs.

Kartik's advisor is Prof. John Reppy

Login to the Computer Science Department website for details:
 https://newtraell.cs.uchicago.edu/phd/ms_announcements#k4rtik

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Tricia Baclawski
Student Affairs Administrator
Computer Science Department
5730 S. Ellis - Room 350
Chicago, IL 60637
pbaclawski at uchicago.edu
(773) 702-6854
/pronouns: she, her, hers/
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=