Triangle Quantum Computing Seminar – Last for Semester

Computational Thinking is the thought process involved in formulating problems so that their solutions are represented in a form that can be effectively carried out by an information-processing agent. In this talk, I will demonstrate how computational thinking can help us identify research opportunities where ideas from computer science could contribute to the implementation of end-to-end quantum applications. I will discuss projects guided by this principle in my group, such as those on the design of programming languages and software toolchains for quantum computing, and a proposal for scalable verification of quantum supremacy.