Jan L. A. van de Snepscheut
From Wikipedia, the free encyclopedia
Johannes Lambertus Adriana van de Snepscheut (Dutch: [ˈsnɛpsxøːt]; 12 September 1953 – 23 February 1994) was a computer scientist and educator. He was a student of Martin Rem and Edsger Dijkstra.[1] At the time of his death he was the executive officer of the computer science department at the California Institute of Technology. [2] He was also developing an editor for proving theorems called "Proxac".[3]
Quick Facts Born, Died ...
Jan L. A. van de Snepscheut | |
---|---|
Born | (1953-09-12)September 12, 1953 |
Died | February 23, 1994(1994-02-23) (aged 40) |
Nationality | Dutch |
Alma mater | Eindhoven University |
Scientific career | |
Fields | Computer science |
Institutions | Eindhoven University, Groningen University, Caltech |
Doctoral students | Peter Hofstee |
Close
In the early morning hours of February 23, 1994, van de Snepscheut attacked his sleeping wife, Terre, with an axe. He then set their house on fire, and died as it burned around him. Terre and their three children escaped their burning home.[2]