Rob Tristan Gerth: 1956–2003
On Friday November 28, 2003, computer scientist and logician Rob Gerth died from sudden cardiac arrest. It is impossible to say all that the loss of Rob means to Intel, to the verification community, and to each of us personally.
Unable to display preview. Download preview PDF.