Mingsheng Ying

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.

Explore les bases et les applications de la programmation quantique de manière simple.