个人简介

宋富，信息学院助理教授，目前在学院担任系统与安全中心主任。 宋富博士于2009年6月获得华东师范大学软件工程硕士学位，2013年4月获得巴黎狄德罗大学（巴黎七大）计算机科学博士学位，同年8月加入华东师范大学任讲师，2016年1月破格晋升为副研究员，期间受新加坡南洋理工大学（NTU）邀请参加访问研究三个月，并于2015年分别荣获上海市“浦江人才”和上海市“晨光学者”称号。2016年8月全职加入上海科技大学信息科学与技术学院，担任tenure-track助理教授、研究员。宋富研究领域包括模型检查、系统自动分析与验证及在系统安全方面的应用，其提出的基于下推自动机模型检查的恶意软件检查方法在第18届TACAS/ETAPS国际会议上获得了欧洲软件科学与技术协会（EASST）颁发的最佳论文奖