Zoom: https://illinois.zoom.us/j/87291562483?pwd=djhHOU1tVEs5Ti9XcGpJTk9LVTJEZz09
Abstract:
Quantum programming plays an essential role in making quantum computing practical and scalable. One of its current challenges is to provide quantum programming languages with formal methods, which are all the more essential due to non-classical properties of quantum physics. In this talk, I will first lay out what purposes quantum programming languages are expected to serve, why these objectives call for formal methods, and why features such as dependent types are highly desirable. I will then discuss my recent work that achieved several of such features: e.g., one of the languages I developed was the first quantum programming language to have a linear dependent type theory and denotational semantics. As will become clear, insights from research in quantum foundations help us devise formal methods in quantum computing and programming.
Bio:
Kohei Kishida is an Associate Professor of Philosophy at the University of Illinois, Urbana-Champaign. After receiving an M.S. degree from Carnegie Mellon University and a Ph.D. from the University of Pittsburgh, and before arriving at Illinois, he did postdoctoral research in computer science and mathematics, including four years in the Department of Computer Science at the University of Oxford. His research centers on applications of category theory to logic in computer science and foundations of quantum physics and computation.
Part of the Illinois Computer Science Speakers Series. Faculty Host: Talia Ringer
Meeting ID: 872 9156 2483
Passcode: csillinois
If accommodation is required, please email <erink@illinois.edu> or <communications@cs.illinois.edu>. Someone from our staff will contact you to discuss your specific needs
