Boris Trakhtenbrot
israelischer Informatiker