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.
Original languageEnglish
Title of host publicationCAV 2004
EditorsR. Alur, D.A. Peled
Place of PublicationBerlin
PublisherSpringer
Pages10-11
ISBN (Print)3-540-22342-8
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
Volume3114
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Rob Tristan Gerth: 1956-2003'. Together they form a unique fingerprint.

  • Cite this

    Huizing, C., & Kuiper, R. (2004). Rob Tristan Gerth: 1956-2003. In R. Alur, & D. A. Peled (Eds.), CAV 2004 (pp. 10-11). (Lecture Notes in Computer Science; Vol. 3114). Springer. https://doi.org/10.1007/978-3-540-27813-9_1