Thomas Vidick
La nomination
Membre du programme des chercheurs mondiaux CIFAR-Azrieli 2017-2019
Informatique quantique
Connect
À Propos
Les recherches de Thomas Vidick se situent à l’interface de l’informatique théorique, de l’informatique quantique et de la cryptographie.
Il s’intéresse à l’application de techniques informatiques, comme la théorie de la complexité, pour étudier des problèmes en informatique quantique. Il a étudié le rôle de l’intrication dans des systèmes de preuves interactives à multiples prouveurs et a obtenu les premiers résultats substantiels de difficulté computationnelle sur la puissance des prouveurs intriqués. L’intrication joue aussi un rôle en cryptographie quantique et Vidick a fait d’importantes contributions au domaine de la cryptographie indépendante des appareils.
Prix
- Corécipiendaire du prix FOCS du meilleur article
- Prix commémoratif Bernard Friedman en mathématiques appliquées
- Prix de jeune chercheur des forces aériennes américaines
Publications Pertinentes
- Arad, I., Landau, Z., Vazirani, U., & Vidick, T. (2017). « Rigorous RG algorithms and area laws for low energy eigenstates in 1D. » Communications in Mathematical Physics, 356(1), 65-105.
- Arnon-Friedman, R., Dupuis, F., Fawzi, O., Renner, R., & Vidick, T. (2018). « Practical device-independent quantum cryptography via entropy accumulation. » Nature communications, 9(1), 459.
- Natarajan, A., & Vidick, T. (2018, October). « Low-degree testing for quantum states, and a quantum entangled games PCP for QMA. » Dans 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS) (pp. 731-742). IEEE.
- Brakerski, Z., Christiano, P., Mahadev, U., Vazirani, U., & Vidick, T. (2018, October). « A cryptographic test of quantumness and certifiable randomness from a single quantum device. » Dans 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS) (pp. 320-331). IEEE.
- Fitzsimons, J., Ji, Z., Vidick, T., & Yuen, H. (2019, June). « Quantum proof systems for iterated exponential time, and beyond. » Dans Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing (pp. 473-480). ACM.
Soutenez-nous
Le CIFAR est un organisme de bienfaisance enregistré qui reçoit le soutien des gouvernements du Canada, de l’Alberta et du Québec, ainsi que de fondations, de donateurs individuels, d’entreprises et de partenaires canadiens et internationaux.