Ofer Strichman

Ofer Strichman

matematician israelian · n. 1968 · 1 titlu

Ofer Strichman este profesor de logică computațională și științe ale calculatoarelor la Facultatea de Științe ale Datelor și Deciziilor din cadrul Technion – Institutul de Tehnologie al Israelului. Deține Catedra Joseph Gruenblat în ingineria producției.

Cărți de Ofer Strichman

Coperta cărții Decision Procedures

Daniel Kroening, Ofer Strichman