Hao Chen is a formal verification technical lead at Intel Optane Group (IOG). He has over 8 years experience in formal verification and he currently leads a formal team to develop formal verification methodologies and drive formal adoption at Intel IOG. Hao received his bachelor's degree from Zhejiang University in China and his Master's degree from University of Alberta in Canada.
Designer, IP and Embedded Systems Track Presentations
Hosted in Virtual Platform