I am not sure what "Robert Solovay's checksum utility" is, but it sounds very applied, and is mentioned in hundreds of LaTeX input files.

He is also one of the giants of set theory, perhaps best known for his model of set-theory in which every set of reals is Lebesgue measurable.