六合彩直播开奖

主讲师：楊欣嘉 新思科技应用工程师

Penny Yang 是新思科技形式验证团队的Staff 应用工程师。在数字芯片设计领域有13年经验，曾经在MediaTek, VIA等公司担任验证及设计工程师。目前负责VC Formal 产物，支持解决客户问题。Penny 毕业于清华大学，并于台湾大学取得硕士学位。