中科院院士何积丰:积科研之精微丰价值于人生

摘要

程序统一理论与技术的开拓者、数据精化完备理论的奠基者、可信软件设计理论与技术的开拓者、中国科学院院士、国家可信嵌入式软件工程技术研究中心首席科学家、华东师范大学软件学院院长……在刚刚揭晓的2013年度上海科学技术奖励名单上。