Last sunday, our team leader and friend Dave Ritchie has passed away after a last courageous fight against his cancer. We miss him dearly.
See Inria’s homage to David W. Ritchie here.
See also the transcription of the numerous messages we received at this occasion, here. (Inria pad : people with an Inria account can contribute).
