Alan Shelton Wagner

1955 – *

• Verification of S*(QM-1) microprograms
• Embedding trees in the hypercube