Eilon Solan

Le protocole de sécurité CAPTCHA, qui distingue les utilisateurs humains des robots automatisés en ligne, a vu le jour en 1997 grâce aux travaux d'Eilon Solan, en collaboration avec Eran Reshef et Gili Raanan. Spécialiste de la théorie des jeux et des processus stochastiques, Solan occupe la chaire Dr. Irene Halmos de théorie des jeux à l'université de Tel Aviv, où il poursuit une carrière active de chercheur et d'enseignant depuis 2000.

Formation académique

Solan a effectué ses études de premier cycle à l'université hébraïque de Jérusalem, obtenant son diplôme summa cum laude en mathématiques et en informatique en 1989. Il a poursuivi ses études supérieures à l'université de Tel Aviv, où il a obtenu un master en mathématiques, également summa cum laude, en 1993. Son mémoire de master sur les jeux stochastiques actualisés a été supervisé par Ehud Lehrer. En 1998, il a obtenu son doctorat à l'université hébraïque de Jérusalem sous la direction d'Abraham Neyman, avec une thèse sur les jeux stochastiques qui lui a valu le prix Kennedy–Leigh pour l'excellence académique.

Contributions aux jeux stochastiques et aux jeux d'arrêt

Une grande partie des recherches de Solan porte sur les jeux dynamiques, étudiant spécifiquement l'existence d'équilibres dans des environnements complexes. Il a résolu positivement l'existence d'ε-équilibres pour les jeux absorbants à trois joueurs en affinant la méthode du facteur d'actualisation évanescent. En collaboration avec Nicolas Vieille, il a introduit la classe des jeux d'arrêt (quitting games), où les joueurs décident à chaque étape de poursuivre ou de mettre fin à l'interaction. Ils ont prouvé l'existence d'ε-équilibres pour ces jeux sous des conditions de gain terminal spécifiques. Des travaux ultérieurs avec Omri et Ron Solan ont étendu ces résultats aux jeux d'arrêt généraux en appliquant le théorème central limite des martingales et le théorème de Browder.

Jeux d'arrêt et outils mathématiques

Solan a analysé les jeux d'arrêt, une catégorie d'interaction dynamique où les gains sont déterminés par le moment où un joueur décide de quitter le jeu. En partenariat avec Eran Shmaya, il a utilisé une variante stochastique du théorème de Ramsey pour prouver l'existence d'un équilibre dans les jeux d'arrêt à temps discret. Avec Rida Laraki, il a démontré la même chose pour les jeux à temps continu. Ses travaux ont également produit des contributions mathématiques plus larges, notamment une généralisation stochastique du théorème de Ramsey et des extensions du théorème de Browder aux espaces de Hausdorff compacts connexes. De plus, lui et Vieille ont développé des méthodes de théorie des graphes pour mesurer la sensibilité des distributions stationnaires au sein des chaînes de Markov.

Publications et service éditorial

Solan est l'auteur de plusieurs textes clés dans le domaine, notamment 'A Course in Stochastic Game Theory' publié par Cambridge University Press en 2022 et 'Borel Games' en 2025. Il a également coécrit le manuel complet 'Game Theory' avec Shmuel Zamir et Michael Maschler, dont la deuxième édition est parue en 2020 et qui a été traduit en chinois et en hébreu. Ses contributions éditoriales incluent des rôles de longue date à l'International Journal of Game Theory, Games and Economic Behavior, et Mathematics of Operations Research. Il a été élu membre de la Game Theory Society en 2019.

Faits en bref

- Naissance : 1969 - Citoyenneté : Israël - Directeur de thèse : Abraham Neyman - Poste actuel : Professeur, Université de Tel Aviv - Invention clé : CAPTCHA (1997) - Distinction : Game Theory Society (2019)

Questions des lecteurs

### Quel est le domaine de recherche d'Eilon Solan ?

Ses recherches portent sur la théorie des jeux, en particulier les jeux stochastiques, les jeux d'arrêt et les processus stochastiques.

### Eilon Solan a-t-il participé au développement du CAPTCHA ?

Oui, il a été l'un des inventeurs du CAPTCHA en 1997, en travaillant aux côtés d'Eran Reshef et de Gili Raanan.