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

[Tricia Baclawski]

This is a reminder 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. Inspired by Hoare Type Theory in classical computing, we
propose Quantum Hoare Type Theory (QHTT) in which precise
specifications about the modification to the quantum state can be
provided within the type of a computation. These specifications within
a Hoare type are given in the form of Hoare-logic style pre- and
postconditions following the propositions-as-types principle. The
type-checking process verifies that the implementation conforms to the
provided specification. 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/
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=