I learned of him through a similar path, although it was a slightly different encoding, the one used by H.264: https://en.wikipedia.org/wiki/Exponential-Golomb_coding