Alex Potanin

Why they're in the Luvo100

Potanin co-authored Qafnyc, which translates quantum-program verification into the established Dafny verifier. The 2025 evaluation verified 37 quantum programs, demonstrating a concrete extension of automated correctness checking. This complements his ownership and immutability research; it is a collaborative research result, not a claim of widespread production deployment.