Rob Tristan Gerth: 1956–2003

  • Doron Peled
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3114)

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 

Personalised recommendations