邵中是 CertiK 聯合創始人兼CTO，他本科畢業於清華大學，後來在耶魯大學獲得博士學位並擔任計算機系教授。