People Seyed Mohammad Reza Jafari Institution: ■ Nokia Bell LabsOffice: 4C10Groups: Former intern Journal article⇣ Embedding Quantum Program Verification into Dafny, Feifei Cheng, Sushen Vangeepuram, Henry Allard, Seyed Mohammad Reza Jafari, Alex Potanin, Liyi Li, Proc. ACM Program. Lang. 2025 Generated using minifold and minifold-lincs at 2026-04-17 18:19.
