Ruoyu Zhang, based in Shanghai, China, is currently a Formal Verification Engineer at 英伟达, bringing experience from previous roles at Apple, Huawei Technologies and The University of Iowa. Ruoyu Zhang holds a 2013 - 2018 University of Iowa. With a robust skill set that includes Software Verification, OCaml, Linux, Algorithms, C and more, Ruoyu Zhang contributes valuable insights to the industry. Ruoyu Zhang has 2 emails on RocketReach.