同机构人员：

• 卜祥敏
  卜祥敏 大中华区总裁 鉴释科技发展有限公司 个人简介 卜祥敏，鉴释科技大中华区总裁，专注于客户解决方案并推动Xcalibyte的客户成功。 2007年从北航大学软件工程硕士毕业后，加入Business......
• 李隆
  李隆 首席科学家 鉴释科技发展有限公司 个人简介 李隆博士是鉴释科技核心技术的首席科学家，专注于代码验证基础设施。 2008年获得中国科技大学计算机软件与理论博士学位。他的学术研究包括证明应用基于语言......