Jun Yuan received his BE from Tsinghua University and PhD from the university of Texas at Austin. His area of interest is electronic design automation (EDA). In his 10+ years of service in the semicondutor industry, he has architected and contributed to various design verification and analysis tools. He has multiple publications including papers, patents and a book.