Rob Tristan Gerth: 1956–2003
- Cite this paper as:
- Peled D. (2004) Rob Tristan Gerth: 1956–2003. In: Alur R., Peled D.A. (eds) Computer Aided Verification. CAV 2004. Lecture Notes in Computer Science, vol 3114. Springer, Berlin, Heidelberg
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.