人物简介
林辛润（1941年生），中国科学院软件研究所软件工程专家，软件工程、形式化方法领域专家。
主要成就
形式化方法与程序验证;软件测试技术
详细介绍
人物简介
林辛润，1941年出生，软件工程专家，主要从事软件工程、形式化方法领域的研究工作，任职于中国科学院软件研究所，担任研究员。
教育背景
林辛润的教育经历：北京大学博士。
荣誉表彰
获得的荣誉与奖项：中国科学院院士(1993);国家自然科学奖二等奖；2021年当选中国科学院院士。
基本信息
所属机构
中国科学院软件研究所
职务
研究员
学历背景
北京大学博士
出生日期
1941年
国籍
中国
研究领域
软件工程、形式化方法
学科数据洞察
1684+
同领域专家
38+
女性学者
89岁
领域平均年龄
794+
获奖人数
*以上数据由科技人编辑部基于公开数据库统计，旨在为研究者提供学科视角的参考信息。
致敬留言