Jan L. A. van de Snepscheut
Jan L. A. van de Snepscheut | |
|---|---|
| Born | September 12, 1953 |
| Died | February 23, 1994 (aged 40) |
| Nationality | Dutch |
| Alma mater | Eindhoven University of Technology |
| Scientific career | |
| Fields | Computer science |
| Institutions | Eindhoven University of Technology, University of Twente, University of Groningen, California Institute of Technology |
| Doctoral advisor | Martin Rem, Edsger Dijkstra |
| Doctoral students | Peter Hofstee |
Johannes Lambertus Adriana van de Snepscheut (Dutch: [ˈsnɛpsxøːt]; 12 September 1953 – 23 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".