David Harel

born 1950