Richard Vuduc — American computer scientist