Johannes Lambertus Adriana van de Snepscheut (12 September 1953 – 23 February 1994) was a computer scientist and educator. He was a student of Martin Rem and Edsger Dijkstra. At the time of his death he was the executive officer of the computer science department at the California Institute of Technology., and was writing an editor for theorem proving called "Proxac".
Born |
12 September 1953 Oosterhout, Netherlands
|
Died |
23 February 1994 (aged 40)
|
Zodiac | Virgo |
Tags | Add tag |