Jan L. A. van de Snepscheut

Jan L. A. van de Snepscheut
Born(1953-09-12)September 12, 1953
DiedFebruary 23, 1994(1994-02-23) (aged 40)
NationalityDutch
Alma materEindhoven University of Technology
Scientific career
FieldsComputer science
InstitutionsEindhoven University of Technology, University of Twente, University of Groningen, California Institute of Technology
Doctoral advisorMartin Rem, Edsger Dijkstra
Doctoral studentsPeter 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]

  1. ^ Dijkstra, Edsger W. (May 1994). "Jan L. A. van de Snepscheut". Formal Aspects of Computing. 6 (3): 247–249. doi:10.1007/BF01215406. Retrieved 11 July 2024. Van de Snepscheut was a member of the journal's editorial board.
  2. ^ Van de Snepscheut, Jan L.A. (1993). "Proxac: an editor for program transformation". Caltech Computer Science Technical Reports. Retrieved May 23, 2012.