Dr. Hao Xue is a Senior Formal Verification Engineer at AheadComputing, having previously served as a Hardware Verification Engineer at Edaptive Computing Inc. and as a Senior Developer II, where they focused on hardware verification techniques. Prior to these roles, Hao was a Research Assistant and Teaching Assistant while pursuing a Ph.D. in Electrical Engineering Technologies at Wright State University. They also gained experience as a Formal Verification Engineer at Intel Corporation, applying formal methods techniques across various domains.
This person is not in the org chart
This person is not in any teams
This person is not in any offices