An obituary for Bob Lin

An obituary for Bob Lin