This is a survey of Harold Widom’s work in random matrices. We start with his pioneering papers on the sine-kernel determinant, continue and Craig Tracy’s groundbreaking results concerning distribution functions matrix theory, touch remarkable universality Tracy–Widom distributions mathematics physics, close Tracy asymmetric simple exclusion process.