Ji Guan

Examiner les méthodes de vérification de modèles pour évaluer les systèmes quantiques et leurs comportements.

VeriQR renforce la robustesse des modèles de machine learning quantique face au bruit.

Explorer la confidentialité différentielle locale quantique pour protéger les données quantiques.