Wilson Nguyen
Wilson Nguyen is a senior researcher at Microsoft Research who works on proof systems, with a focus on their practical efficiency and post-quantum security. Nguyen did doctoral work at Stanford under Dan Boneh, was later a faculty fellow at NYU's Courant Institute, and co-authored the folding schemes Neo and SuperNeo and the accumulation scheme Arc.