header
John Guibas
proving what's real @succinctlabs. prev @stanford