Quantum computing presents many challenges for the programming language community. How can we program quantum algorithms in a way that ensures they behave correctly? In this talk, I will explore how types can be used to enforce various properties of quantum programs. I will highlight my research on combining linear types and dependent ttypes to create more expressive type systems for quantum programming languages. I will also discuss my work on dynamic lifting, which is a construct in Quipper/Proto-Quipper that enables programming quantum algorithms such as magic state distillation and the repeat-until-success paradigm.

Bio: Dr. Frank (Peng) Fu is a postdoctoral researcher at Dalhousie University. He received his Ph.D. from University of Iowa in 2014. His research interests  include type theory, the design and implementation of quantum programming languages. He has served on program committees for international conferences such as FSCD and PLanQC.

Click here to join the meeting

Meeting ID: 241 582 962 702
Passcode: ytidHn