Ronald Fagin
Ronald Fagin · Technology & Engineering
Founder of finite model theory (Fagin's theorem) and database theory; Gödel Prize (2014)
1945, Oklahoma City, Oklahoma, USA
United States (San Jose, California)
Ronald Fagin is recognized among Jewish contributors to Technology & Engineering — Founder of finite model theory (Fagin's theorem) and database theory; Gödel Prize (2014)
Fagin, from a Jewish family in Oklahoma, earned his mathematics PhD at Berkeley and spent his career at IBM Research. He founded finite model theory: Fagin's theorem proved that the complexity class NP corresponds exactly to problems expressible in existential second-order logic, linking logic, computation and database theory. He was named an IBM Fellow and received the Gödel Prize in 2014.
Verify and go deeper with these external references.
Source: Jinfo.org — Jewish recipients of the Gödel Prize
This page is published in seven languages from an English source. The translations are reviewed, but a mistake can still slip through. If you spot one on this profile — a wrong word, a lost date, a sentence that says something the English does not — please tell us.
Founder of finite model theory (Fagin's theorem) and database theory; Gödel Prize (2014)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Similar Contributors
Frank Proschan
Éva Tardos
Abraham Charnes
David Peleg
