<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-7">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<span style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">This is an announcement of Kartik Singhal's Candidacy Exam.</span>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
===============================================</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
Candidate: Kartik Singhal</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
<br>
</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
Date: Tuesday, September 06, 2022</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
<br>
</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
Time: 10 am CST</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
<br>
</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
Remote Location:<span class="Apple-converted-space"> </span><a href="https://uchicago.zoom.us/j/99499484166?pwd=b2VLeDVXTVJoaE9WUzJUT1BmNDZLUT09">https://uchicago.zoom.us/j/99499484166?pwd=b2VLeDVXTVJoaE9WUzJUT1BmNDZLUT09</a><span class="Apple-converted-space"> </span> Meeting
ID: 994 9948 4166 Passcode: 390904</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
<br>
</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
Location: JCL 298</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
<br>
</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
Title: The Essence of Q#: Toward Safe and Certified Quantum Programs</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
<br>
</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
Abstract: Q# is one of the only industry-supported standalone quantum programming languages, but it lacks precision in its specification. I propose to provide a formal language definition for Q# through a translation to ë-Q#, a small core language for quantum
computation. This definition leads to a clearer understanding of the Q# language semantics. Using ë-Q# as a testbed, I propose the design of a stronger type system that will lead to safer Q# programs. I also propose a verification architecture for ë-Q# that
can serve as a unified framework for formally specifying, programming, and reasoning about quantum programs.</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
<br>
</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
Advisors: Robert Rand</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
<br>
</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
Committee Members: Robert Rand, Fred Chong, Michael Hicks, and Matt Amy</div>
<div style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto">
<br>
</div>
<span style="caret-color:rgb(0, 0, 0);font-family:Helvetica;font-size:12px;font-weight:normal;orphans:auto;widows:auto"><a href="https://ks.cs.uchicago.edu/files/thesis-proposal.pdf">https://ks.cs.uchicago.edu/files/thesis-proposal.pdf</a></span>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
</body>
</html>