Jan L. A. van de Snepscheut

Johannes Lambertus Adriana van de Snepscheut (; 12 September 195323 February 1994) 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 theorems called "Proxac". Provided by Wikipedia