Boris Trakhtenbrot

Boris Trakhtenbrot
1994
Born	(1921-02-19)19 February 1921 Brichevo, Bessarabia
Died	19 September 2016(2016-09-19) (aged 95) Rehovot, Israel
Spouse	Berta I. Rabinovich ​ ​ (m. 1947; died 2013)​
Academic background
Alma mater	Ukrainian Academy of Science
Thesis	Decidability Problems for Finite Classes and Definitions of Finite Sets (1950)
Doctoral advisor	Pyotr Novikov
Academic work
Institutions	Novosibirsk State University Tel Aviv University

Boris (Boaz) Abramovich Trakhtenbrot (Russian: Борис Авраамович Трахтенброт, Hebrew: בועז טרכטנברוט; 19 February 1921 – 19 September 2016) was a Russian-Israeli mathematician in logic, algorithms, theory of computation, and cybernetics.