Rob Tristan Gerth: 1956–2003

  • Doron Peled
Conference paper

DOI: 10.1007/978-3-540-27813-9_1

Volume 3114 of the book series Lecture Notes in Computer Science (LNCS)
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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Doron Peled
    • 1
  1. 1.University of Warwick