<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class="">This is an announcement of Kartik Singhal's Candidacy Exam.</div>
<div class="">===============================================</div>
<div class="">Candidate: Kartik Singhal</div>
<div class=""><br class="">
</div>
<div class="">Date: Tuesday, September 06, 2022</div>
<div class=""><br class="">
</div>
<div class="">Time: 10 am CST</div>
<div class=""><br class="">
</div>
<div class="">Remote Location: <a href="https://uchicago.zoom.us/j/99499484166?pwd=b2VLeDVXTVJoaE9WUzJUT1BmNDZLUT09" class="">
https://uchicago.zoom.us/j/99499484166?pwd=b2VLeDVXTVJoaE9WUzJUT1BmNDZLUT09</a> Meeting ID: 994 9948 4166 Passcode: 390904</div>
<div class=""><br class="">
</div>
<div class="">Location: JCL 298</div>
<div class=""><br class="">
</div>
<div class="">Title: The Essence of Q#: Toward Safe and Certified Quantum Programs</div>
<div class=""><br class="">
</div>
<div class="">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 class=""><br class="">
</div>
<div class="">Advisors: Robert Rand</div>
<div class=""><br class="">
</div>
<div class="">Committee Members: Robert Rand, Fred Chong, Michael Hicks, and Matt Amy</div>
<div class=""><br class="">
</div>
<div class=""><a href="https://ks.cs.uchicago.edu/files/thesis-proposal.pdf" class="">https://ks.cs.uchicago.edu/files/thesis-proposal.pdf</a></div>
</body>
</html>