Education
Eindhoven University of Technology.
engineer university professor computer scientist
Eindhoven University of Technology.
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". He then set their house on fire, and died as it burned around him.