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.[1] He was also developing an editor for proving theorems called "Proxac".[2]
- ^ Dijkstra, Edsger W. (May 1994). "Jan L. A. van de Snepscheut". Formal Aspects of Computing. 6: 247–249. doi:10.1007/BF01215406. Retrieved 11 July 2024. Van de Snepscheut was a member of the journal's editorial board.
- ^ Van de Snepscheut, Jan L.A. (1993). "Proxac: an editor for program transformation". Caltech Computer Science Technical Reports. Retrieved May 23, 2012.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search