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.
- 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
- 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.