Not yet verified. Facts on this page still need sources checked.
Thick bars: organizations. Thin bars: works.
Later worked in software including NeXT-related TeX work and remained active in algorithmic/programming projects.