Ronald Fagin

Фейгин, из еврейской семьи в Оклахоме, защитил докторскую по математике в Беркли и провёл карьеру в IBM Research. Он основал теорию конечных моделей: теорема Фейгина доказала, что класс сложности NP в точности соответствует задачам, выразимым в экзистенциальной логике второго порядка, связав логику, вычисления и теорию баз данных. Он был назван IBM Fellow и получил премию Гёделя в 2014 году.

Проверьте и углубитесь с помощью этих внешних источников.

Источник: Jinfo.org — Jewish recipients of the Gödel Prize