Eilon Solan

O protocolo de segurança CAPTCHA, que distingue usuários humanos de bots automatizados online, originou-se em 1997 através do trabalho de Eilon Solan, juntamente com os colaboradores Eran Reshef e Gili Raanan. Especialista em teoria dos jogos e processos estocásticos, Solan ocupa a Cátedra Dr. Irene Halmos de Teoria dos Jogos na Universidade de Tel Aviv, onde mantém uma carreira ativa de pesquisa e ensino desde 2000.

Formação acadêmica

Solan completou seus estudos de graduação na Universidade Hebraica de Jerusalém, graduando-se summa cum laude em matemática e ciência da computação em 1989. Continuou seus estudos de pós-graduação na Universidade de Tel Aviv, onde obteve um mestrado em matemática, também summa cum laude, em 1993. Sua dissertação de mestrado sobre jogos estocásticos descontados foi supervisionada por Ehud Lehrer. Em 1998, recebeu seu doutorado pela Universidade Hebraica de Jerusalém sob a orientação de Abraham Neyman, produzindo uma tese sobre jogos estocásticos que ganhou o Prêmio Kennedy–Leigh de excelência acadêmica.

Contribuições para jogos estocásticos e de abandono

Grande parte da pesquisa de Solan concentra-se em jogos dinâmicos, investigando especificamente a existência de equilíbrios em ambientes complexos. Ele resolveu positivamente a existência de ε-equilíbrios para jogos absorventes de três jogadores, refinando o método do fator de desconto decrescente. Em colaboração com Nicolas Vieille, introduziu a classe dos jogos de abandono (quitting games), onde os jogadores decidem em cada estágio se continuam ou terminam a interação. Eles provaram a existência de ε-equilíbrios para esses jogos sob condições específicas de pagamento terminal. Esforços adicionais com Omri e Ron Solan expandiram isso para jogos de abandono gerais, aplicando o teorema do limite central de martingais e o teorema de Browder.

Jogos de parada e ferramentas matemáticas

Solan analisou jogos de parada, uma categoria de interação dinâmica onde os pagamentos são determinados pelo momento da decisão de um jogador de sair. Em parceria com Eran Shmaya, utilizou uma variação estocástica do teorema de Ramsey para provar a existência de equilíbrio em jogos de parada de tempo discreto. Com Rida Laraki, demonstrou o mesmo para jogos de tempo contínuo. Seu trabalho também produziu contribuições matemáticas mais amplas, incluindo uma generalização estocástica do teorema de Ramsey e extensões do teorema de Browder para espaços de Hausdorff compactos conectados. Além disso, ele e Vieille desenvolveram métodos de teoria dos grafos para medir a sensibilidade de distribuições estacionárias dentro de cadeias de Markov.

Publicações e serviço editorial

Solan é autor de vários textos fundamentais na área, incluindo 'A Course in Stochastic Game Theory', publicado pela Cambridge University Press em 2022, e 'Borel Games' em 2025. Também foi coautor do livro didático abrangente 'Game Theory' com Shmuel Zamir e Michael Maschler, que teve uma segunda edição em 2020 e foi traduzido para chinês e hebraico. Suas contribuições editoriais incluem papéis de longa data no International Journal of Game Theory, Games and Economic Behavior e Mathematics of Operations Research. Foi eleito membro da Game Theory Society em 2019.

Fatos rápidos

- Nascimento: 1969 - Cidadania: Israel - Orientador de doutorado: Abraham Neyman - Cargo atual: Professor, Universidade de Tel Aviv - Invenção chave: CAPTCHA (1997) - Associação: Game Theory Society (2019)

Perguntas dos leitores

### Qual é o foco da pesquisa de Eilon Solan?

Sua pesquisa concentra-se na teoria dos jogos, particularmente em jogos estocásticos, jogos de parada e processos estocásticos.

### Eilon Solan ajudou a desenvolver o CAPTCHA?

Sim, ele foi um dos inventores do CAPTCHA em 1997, trabalhando ao lado de Eran Reshef e Gili Raanan.