副研究员 2010-08~2012-07,中国科学院软件研究所计算机科学国家重点实验室, 助理研究员 2009-09~2010-07,法国波尔多大学LaBRI实验室, 博士后 2007-07~2009-07,中科院自动化所中法信息、自动化与应用数学联合 课程的目标是对自动机理论作一个相对全面的介绍。同时关注自动机理论在形式验证与数据库理论方面
软件自动验证的追梦者 CCF与IEEE CS决定授予吴志林研究员2020年“CCF-IEEE CS青年科学家奖”,以表彰他在自动机理论和程序验证方面所做出的突出贡献。 CCF理事长梅宏教授(左一)、百度校园品牌部总监李轩涯博士(右一)为吴志林研究员颁奖 ...
中国科学院软件研究所吴志林研究员被授予2020年“CCF-IEEE CS青年科学家奖”,表彰其在自动机理论和程序验证方面所做出的突出贡献。 吴志林博士毕业于软件所计算机科学国家重点实验室,曾先后在中国科学院自动化研究所、法国波尔多第一大学、巴黎第七大学学习...
2009-09~2010-07,法国波尔多大学LaBRI实验室,博士后 2007-07~2009-07,中科院自动化所中法信息、自动化与应用数学联合实验室,博士后 社会兼职2016-01-27-2019-12-31,中国计算机学会形式化方法专业组成员, 教授课程自动机理论及其应用 自动机理论及其应用这是一门针对中科院软件所博士生的专业基础课程。 课程的目标是...
CCF与IEEE CS决定授予吴志林研究员2020年“CCF-IEEE CS青年科学家奖”,以表彰他在自动机理论和程序验证方面所做出的突出贡献。 CCF理事长梅宏教授(左一)、百度校园品牌部总监李轩涯博士(右一)为吴志林研究员颁奖吴志林本科就读于中南大学,博士毕业于中国科学院软件研究所计算机科学国家重点实验室。博士毕业之后,先后在中...
CCF与IEEE CS决定授予吴志林研究员2020年“CCF-IEEE CS青年科学家奖”,以表彰他在自动机理论和程序验证方面所做出的突出贡献。 CCF理事长梅宏教授(左一)、百度校园品牌部总监李轩涯博士(右一)为吴志林研究员颁奖 吴志林本科就读于中南大学,博士毕业于中国科学院软件研究所计算机科学国家重点实验室。博士毕业之后,先后在...
中科院软件所研究员、博导 CCF形式化专委副秘书长,长期从事计算逻辑、自动机理论、计算机软硬件系统形式验证相关研究。在国际顶级会议和期刊上发表论文40余篇,包括LICS、POPL、CAV等。陈厅 2022CCF青年科技奖获得者 电子科技大学教授、博导 教育部青年长江学者、四川省杰青,获得2022阿里巴巴达摩院青橙奖、2012国家科技进步...
CCF与IEEE CS决定授予吴志林研究员2020年“CCF-IEEE CS青年科学家奖”,以表彰他在自动机理论和程序验证方面所做出的突出贡献。 CCF理事长梅宏教授(左一)、百度校园品牌部总监李轩涯博士(右一)为吴志林研究员颁奖 吴志林本科就读于中南大学,博士毕业于中国科学院软件研究所计算机科学国家重点实验室。博士毕业之后,先后在...