李隆

首席科学家

鉴释科技发展有限公司

个人简介

李隆博士是鉴释科技核心技术的首席科学家,专注于代码验证基础设施。

2008年获得中国科技大学计算机软件与理论博士学位。他的学术研究包括证明应用基于语言的分析技术来构建高效可靠的软件,并发表了几篇期刊和会议论文。毕业后,他加入三星电子(中国),在高级技术组从事统计机器翻译工作。2010年,他以工程师的身份加入惠普编译器团队,并在惠普Non-Stop编译器后端和SDK工作。


李隆 可能工作过的组织/机构/部门/团队:


李隆 可能工作过的同事:

粤ICP备17091748号-1
剧本杀复盘 剧本杀复盘 红酒 ChatGPT