作者信息

刘峰，博士，南京大学软件学院教师。1998年毕业于南京大学数学系获学士学位，2004年毕业于南京大学计算机系获硕士学位，2004年至今在南京大学软件学院任教，负责信息技术专业方向课程体系建设，2006年曾为IBM访阿学者。主持江苏省法院信息系统的数据集中系统、文书网上公开系统、司法鉴定系统等项目的开发工作。现主要从事机器学习和信息系统安全方面的研究工作。获国家专利1项，发表相关论文多篇。 郑滔，南京大学软件学院教授。1992年毕业于南京大学计算机系并获硕士学位，1997年在UNU／IIST从事模型验证研究，1999-2000年美国加州PCTel从事嵌入式软件设计。长期从事形式化方法、模型验证和程序安全等方面的研究，主持和参加国家863项目、国家973项目，国家自然科学基金重点项目以及国家自然科学基金项目多项，近期发表相关论文20余篇。获教育部科技进步二等奖和教育部高等教育国家级教学成果奖二等奖各1项。