Christine Rizkallah's Research Summary

Quantum programs pose unique correctness and security challenges due to phenomena such as quantum superposition and quantum entanglement of quantum states. Classic formal methods techniques are inadequate for guaranteeing the robustness and security of quantum systems. Christine Rizkallah's work in this space focuses on establishing the necessary logical and programming language foundations to facilitate verifying the correctness and security of quantum programs.