Je suis chercheur scientifique, et mes intérêts de recherche concernent largement les domaines de l’apprentissage automatique et l’informatique théorique. Je m’intéresse actuellement au raisonnement des modèles d’apprentissage automatique (par ex. IA pour mathématiques/sciences) et à l’apprentissage sur données structurées graphiquement et données relationnelles, en combinant des techniques des algorithmes et l’apprentissage automatique. Les autres domaines dans lesquels j’ai travaillé incluent les algorithmes de streaming (de fouille de flots de données), la confidentialité, les codes correcteurs, etc. J’étais auparavant chercheur chez Google Research (jusqu’en 2024), où mon travail de recherche figure aussi dans de nombreux systèmes tels que AlphaProof (la preuve de théorèmes), Google Maps (routage/navigation), et Gboard (analytique privée).