Ruoyu Zhang possesses extensive experience in formal verification, currently serving in this role at 英伟达 since August 2021. Prior to this, Ruoyu Zhang worked as a Formal Verification Engineer at Apple from October 2018 to April 2021. Educationally, Ruoyu Zhang holds a Master's degree in Computer Science and a Bachelor's degree in Biomedical Engineering from the University of Iowa and Shanghai Jiao Tong University, respectively, with additional efforts in Software Engineering at Shanghai Jiao Tong University.
This person is not in any teams
This person is not in any offices