Announcement_17

I was honored to give a talk on QRAT: A Reachability Analysis Tool for Quantum Programs at CNTT định hướng ứng dụng PTIT in Hanoi, Vietnam (slides).