Bin Xue is a Formal Verification Tech Lead and Manager at Apple since 2021. They have a background in formal verification engineering that began in 2011, specializing in advanced formal methods for large-scale computer systems. Bin earned a Ph.D. in Computer Engineering from Virginia Polytechnic Institute and State University and holds a B.S. in Mechanical Engineering and an M.S. in Electrical and Electronics Engineering from Beijing Institute of Technology. Previously, they worked as a Senior Hardware Engineer at NVIDIA and as a Formal Verification Engineer at Apple.
This person is not in any teams
This person is not in any offices