Thomas Georges Pierre Vidick

Enseignement et PhD Doctorant·es actuel·les Itammar Steinberg, Aviv Taller Cours Formal Mathematics with Lean and AI CS-643 Introduction to quantum computation CS-308 Ce cours introduit le paradigme du calcul quantique de facon axiomatique. Le cours introduit les notions de bit quantique, portes logiques et circuits quantiques, traite les principaux algorithmes quantiques, et les codes correcteurs. Le cours est indépendant de COM-309. Introduction to quantum cryptography COM-440 Ce cours décrit, à un niveau mathématique rigoureux, une série de tâches, en identifiant à chaque fois la propriété fondamentale de l'information quantique qui la rend possible, ses forces et ses limites. Methods in Quantum Error Correction CS-632