Close

Presenter

Biography
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.
Presentations
Designer, IP and Embedded Systems Track Presentations
Front-End Design
Hosted in Virtual Platform