Jan L. A. van de Snepscheut
Jan L. A. van de Snepscheut | |
---|---|
Born |
Oosterhout, Netherlands | September 12, 1953
Died |
February 23, 1994 40) La Cañada Flintridge, California, United States | (aged
Nationality | Dutch |
Fields | Computer science |
Institutions | Eindhoven University, Groningen University, Caltech |
Alma mater | Eindhoven University |
Doctoral students | Peter Hofstee |
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] and was writing an editor for theorem proving called "Proxac".[3]
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]
Bibliography
- Jan L. A. Van De Snepscheut, What computing is all about, Springer, 1993.
- Jan L. A. Van De Snepscheut, Trace Theory and VLSI Design, Lecture Notes in Computer Science, Volume 200, Springer, 1985. This is Van De Snepscheut's Ph.D. thesis, entirely handwritten, including the index.)
References
- ↑ Dijkstra, Edsger W. (April 25, 1994). "In Memoriam Jan L. A. van de Snepscheut (EWD1177)". Retrieved May 21, 2012.
- 1 2 Carlson, Mike (February 24, 1994). "Caltech Professor Dies After Attacking Wife, Setting House Ablaze : Violence: Daughter says she saw her father lighting matches as family escaped the fire. Motive is unknown". Los Angeles Times. Retrieved May 21, 2012.
- ↑ van de Snepscheut, Jan L.A. (1993). "Proxac: an editor for program transformation". Caltech Computer Science Technical Reports. Retrieved May 23, 2012.
Εxternal links
- Quotations related to Jan L. A. van de Snepscheut at Wikiquote
|
This article is issued from Wikipedia - version of the Friday, May 01, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.