David Steurer
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| Institutions | |
|---|---|
| Directeur de thèse | |
| Site web |
(en) www.dsteurer.org |
| Distinction |
David Steurer, né le à Heilbronn, est un informaticien théoricien allemand, professeur à l'École polytechnique fédérale de Zurich[1].
Steurer a étudié à l'université de la Sarre (2003-2006), puis à l'université de Princeton où il a obtenu un doctorat en 2010 sous la direction de Sanjeev Arora, avec une thèse intitulée On the Complexity of Unique Games and Graph Expansion[2]. Il est ensuite postdoc à Microsoft Research New England jusqu'en 2012, professeur assistant à l'université Cornell jusqu'en 2017, date à laquelle il devient professeur assistant à l'École polytechnique fédérale de Zurich. Il y est professeur associé depuis 2020.
Travaux
Steurer travaille en optimisation par somme de carrés (en), des problèmes d'optimisation où les contraintes sont exprimées par des sommes de carrés de polynômes homogènes, et plus généralement aux méthodes de relaxation de la programmation mathématique, en particulier la programmation semi-définie. Il s'intéresse aux algorithmes d'approximation et à la dureté de l'approximation, notamment dans le contexte de la conjecture des jeux uniques. Il travaille également sur la complexité computationnelle des problèmes d'estimation en dimensions élevées qui se posent dans l'apprentissage automatique, par exemple, la décomposition tensorielle, le regroupement, les modèles de mélange gaussien[1].
Publications (sélection)
- Mitali Bafna, Boaz Barak, Pravesh K. Kothari, Tselil Schramm et David Steurer, « Playing unique games on certified small-set expanders », 53rd Annual ACM SIGACT Symposium on Theory of Computing (STOC '21), ACM, , p. 1629-1642 (arXiv 2006.09969).
- Boaz Barak, Pravesh K. Kothari et David Steurer, « Small-Set Expansion in Shortcode Graph and the 2-to-2 Conjecture », 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, no LIPIcs 124, , p. 9:1-9:12 (lire en ligne
). - Tengyu Ma, Jonathan Shi et David Steurer, « Polynomial-Time Tensor Decompositions with Sum-of-Squares », IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS 2016), IEEE Computer Society, , p. 438-446 (arXiv 1610.01980).
- Benjamin Doerr, Johannes Lengler et David Steurer, « The Interval Liar Game », Electronic Notes in Discrete Mathematics, vol. 28, , p. 425-432.
