[Wikipedia] Johannes Lambertus Adriana van de Snepscheut was a Dutch computer scientist and educator. He was a student of Martin Rem and Edsger Dijkstra. At the time of his death, he was a professor of Computing Science at the California Institute of Technology. He was also developing an editor for proving theo