| Jan L. A. van de Snepscheut | |
| Birth Date: | 12 September 1953 |
| Birth Place: | Oosterhout, Netherlands |
| Death Place: | La Cañada Flintridge, California, United States |
| Nationality: | Dutch |
| Field: | Computer science |
| Work Institutions: | Eindhoven University of Technology, University of Twente, University of Groningen, California Institute of Technology |
| Alma Mater: | Eindhoven University of Technology |
| Doctoral Advisor: | Martin Rem, Edsger Dijkstra |
| Doctoral Students: | Peter Hofstee |
Johannes Lambertus Adriana van de Snepscheut (in Dutch; Flemish ˈsnɛpsxøːt/; 12 September 195323 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]
Van de Snepscheut graduated from the Eindhoven University of Technology as an electrical engineer in 1977, with a thesis advised by Frans E. J. Krusman Aretz from the mathematics department. During this time, he also co-founded a microprocessor company, and he would later found a second. After working for a year at the University of Twente, he returned to Eindhoven, where he earned his PhD in 1983. He then spent a year visiting the California Institute of Technology before starting as faculty at the University of Groningen. In 1988, van de Snepscheut moved with his family back to Caltech, where he continued his research career and published his book, What Computing Is All About.[1]
In the early morning hours of February 23, 1994, van de Snepscheut attacked his sleeping wife, Terre (elsewhere given as Trees), supposedly with an axe later found at the site. He then set their house on fire, and died as it burned around him. Terre and their three children, aged 14, 12, and 10, escaped their burning home.[3]