邵中是 CertiK 联合创始人兼CTO，他本科毕业于清华大学，后来在耶鲁大学获得博士学位并担任计算机系教授。