Deletion of Robert Shostak

Comment: While I agree that the article text needs some aggressive pruning, the subject is verifiably notable under #1, as a search of Google Scholar will attest. Additionally, much of the SRI-related material is also covered in Donald MacKenzie's MIT Press book ''Mechanizing Proof'', pages 269-272, and searching under "Rob Shostak" finds mid-to-late-1980s coverage in (e.g.) ''Computerworld'', ''Byte'', ''Infoworld'', ''Personal Computing'', etc of his work for companies like Ansa and Borland. So there's also a good case for . With notability easily established, the rest of the article issues are reasons to edit, not reasons to delete
Stance: keep
Cited policy: Wikipedia:Notability (WP:ACADEMIC||WP:GNG)

Comment: per #C1. I also agree that some pruning would be an improvement
Stance: keep
Cited policy: Wikipedia:Notability (WP:PROF)