Boris Trakhtenbrot
Boris Trakhtenbrot · Technology & Engineering
Computer & information scientist
1921, Brichevo, Bessarabia (now Moldova) — 2016, Israel
Soviet Union · Israel · Tel Aviv University
Boris Trakhtenbrot is recognized among Jewish contributors to Technology & Engineering — Computer & information scientist
Boris Trakhtenbrot was a Soviet and Israeli mathematician and computer scientist, a pioneer of theoretical computer science, remembered for Trakhtenbrot's theorem on the undecidability of finite satisfiability in first-order logic and for foundational work on automata and complexity. He emigrated to Israel and taught at Tel Aviv University. He was Jewish.
Verify and go deeper with these external references.
Source: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Computer & information scientist
Source: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
