Announcement_18

I was honored to give a talk on QRAT: A Reachability Analysis Tool for Quantum Programs at JAIST-Vietnam Research Exchange Meeting (JVREM 2025) in JAIST, Japan (slides).