登陆
注册
形式化方法理论与应用初探
有180人正在学习
上海控安
2023-11-13 10:29
1.形式化方法基本原理
2.模型检查基本原理
3.定理证明基本原理
4.可满足性分析应用案例
……
张越龄
张越龄，博士，华东师范大学副教授，2019年博士毕业于华东师范大学，先后在美国普林斯顿大学和伊利诺伊大学香槟分校访学一年。2020-2022年期间于新加坡管理大学孙军教授可信化验证团队从事博士后研究工作。张越龄在CAV、ASE、ISSTA、SCP等程序分析与验证领域国际顶级期刊与会议上发表论文10余篇；主持1项国家自然科学基金青年基金项目、1项上海市浦江人才计划项目。
