Paul Horn — American computer scientist