金芝

北京大学计算机科学教授，高可信软件技术教育部重点实验室常务副主任，国家杰出青年获得者。1994到2009年在中国科学院数学与系统科学研究院工作。研究兴趣：软件工程、需求工程、知识工程和机器学习。