林惠民,中科院院士,68岁,报告题目《网络技术与网络伦理》。中国科学院软件研究所研究员。特别是并发程序的形式语义学及形式化方法的研究。他在进程代数的验证工具、消息传送进程的语义理论和π-演算的公理化等方向上取得了突破性进展,其主要贡献包括:1996年林获中国科学院自然科学一等奖(唯一获奖人)。1999年当选为中国科学院院士。他学风严谨,勇于开拓创新,取得了一系列国际领先水平的成果,受到国际同行的公认,是在国际上有影响的计算机科学家。优秀青少年科普专家。