李隆

鉴释科技首席科学家

目前担任鉴释科技核心技术的首席科学家，专注于代码验证基础架构。于2008年在中科大获得计算机软件和理论博士学位，学术研究包括证明基于语言的分析技术在构建高效且可靠的软件方面的应用，并发表了数篇期刊和会议论文。毕业后，李隆博士加入了三星电子，从事高级技术小组的统计机器翻译工作。并于2010年加入HP编译器团队，从事HP Non-Stop编译器后端和SDK。