2021 -now Formal Verification Tech Lead and Manager @
2015 -2021 Formal Verification Engineer @
2011 -2015 Senior Hardware Engineer @
2010 -2011 Intern @
Bin Xue Education
Virginia Polytechnic Institute and State University
Doctor of Philosophy (PhD) (Computer Engineering)
2007-2011
Beijing Institute of Technology
Master of Science (MS) (Electrical and Electronics Engineering)
2005-2007
Beijing Institute of Technology
Bachelor of Science (B.S.) (Mechanical Engineering)
2001-2005
Bin Xue Skills
Matlab
SystemVerilog
Embedded Software
Simulations
Embedded Systems
Computer Architecture
Verilog
Formal Verification
C
C++
Computer Hardware
TCL
Verification
Perl
Bin Xue Summary
Bin Xue, based in Santa Clara, CA, US, is currently a Formal Verification Tech Lead and Manager at Apple. Bin Xue brings experience from previous roles at Apple and NVIDIA. Bin Xue holds a 2007 - 2011 Doctor of Philosophy (PhD) in Computer Engineering @ Virginia Polytechnic Institute and State University. With a robust skill set that includes Matlab, SystemVerilog, Embedded Software, Simulations, Embedded Systems and more. Bin Xue has 2 emails and 3 mobile phone numbers on RocketReach.
Get contact details of over 700M profiles across 60M companies - all with industry-leading accuracy. Sales and Recruiter users, try out our Email Finder Extension.
Use our AI-Powered Email Finder
Find business and personal emails and mobile phone numbers with exclusive coverage across niche job titles, industries, and more for unparalleled targeting. Also available via our Contact Data API.