Events

Quantum Hoare Logic: Towards Automatic Verification of Quantum Programs

Event Type: Distinguished Lecture Series
Speaker: Professor Mingsheng Ying

Location: CoRE 301
Event Date: 10:30am - 12:00pm