个人简历

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

研究领域

模型检查
系统分析与验证
计算机安全

近期论文

HaiyuPan,FuSong,YongzhiCao,andJunyanQian,“FuzzyPushdownTerminationGames”,IEEETransactionsonFuzzySystems,accepted,2018.(SCI,EI,IF=8.415)
FuSong,“AnalyzingPushdownSystemswithStackManipulation”,InformationandComputation,vol.259,no.1,pp.41-71,2018.(SCI,EI,CCF-A)
FuSongandZhilinWu,“OnTemporalLogicswithDataVariableQuantifications:DecidabilityandComplexity”,InformationandComputation,vol.251,pp.104-139,2016.(SCI,EI,CCF-A)
FuSongandTayssirTouili,“Model-checkingsoftwarelibraryAPIusagerules”JournalonSoftwareandSystemsModeling(SoSym),vol.15,no.4,pp.961-985,2016(SCI,EI,CCF-B)
ProbabilisticAlternating-TimeMu-Calculus.FuSong,YediZhang,YuTang,TaolueChenandZhiwuXu,acceptedtoAAAI,2019.(CCF-A)
JunZhang,PengfeiGao,FuSongandChaoWang,“SCInfer:Refinement-basedVerificationofSoftwareCountermeasuresagainstSide-ChannelAttacks”,inProceedingsofthe30thInternationalConferenceonComputerAidedVerification(CAV2018),Oxford,UK,July14-17,2018.(EI,CCF-A)
TaolueChen,JinlongHe,FuSong,GuozhenWang,ZhilinWuandJunYan,“AndroidStackSystems”,inProceedingsofthe30thInternationalConferenceonComputerAidedVerification(CAV2018),Oxford,UK,July14-17,2018.(EI,CCF-A)
TaolueChen,FuSongandZhilinWu,“Tractabilityofseparationlogicwithinductivedefinitions:Beyondlists”,inProceedingsofthe28thInternationalConferenceonConcurrencyTheory(CONCUR2017),Berlin,Germany,September5-8,2017.(EI,CCF-B)
ZhengziXu,BihuanChen,MahinthanChandramohan,YangLiuandFuSong,“SPAIN:SecurityPatchAnalysisforBinaries-TowardsUnderstandingthePainandPills”,inProceedingsofthe39thACM/IEEEInternationalConferenceonSoftwareEngineering(ICSE2017),BuenosAires,Argentina,May20-28,2017.(EI,CCF-A)
TaolueChen,FuSongandZhilinWu,“VerifyingPushdownMulti-AgentSystemsagainstStrategyLogics”,inProceedingsofthe25thInternationalJointConferenceonArtifficialIntelligence(IJCAI2016),NewYork,USA.9-15July,2016.(EI,CCF-A,Oralpresentation)
TaolueChen,FuSongandZhilinWu,“GlobalModelCheckingonPushdownMulti-AgentSystems”,inProceedingsofthe30thAAAIConferenceonArtificialIntelligence(AAAI2016),Arizona,USA,February12-17,2016.(EI,CCF-A,Oralpresentation)
FuSong,WeikaiMiao,GeguangPuandMinZhang,“OnReachabilityAnalysisofPushdownSystemswithTransductions:ApplicationtoBooleanProgramswithCall-by-Reference”,inProceedingsofthe26thInternationalConferenceonConcurrencyTheory(CONCUR2015).Madrid,Spain.September1-4,2015.(EI,CCF-B)
TaolueChen,FuSongandZhilinWu,“OntheSatisfiabilityofIndexedLinearTemporalLogics”,inProceedingsofthe26thInternationalConferenceonConcurrencyTheory(CONCUR2015).Madrid,Spain,September1-4,2015.(EI,CCF-B)
FuSongandTayssirTouili,“LTLModel-CheckingforMalwareDetection”,inProceedingsofthe19thInternationalConferenceonToolsandAlgorithmsfortheConstructionandAnalysisofSystems(TACAS2013),Rome,Italy,March16-24,2013.(EI,CCF-B)
FuSongandTayssirTouili,“PushdownModel-CheckingforMalwareDetection”,inProceedingsofthe18thInternationalConferenceonToolsandAlgorithmsfortheConstructionandAnalysisofSystems(TACAS2012),Tallinn,Estonia,March24-April1,2012.WontheEASSTbestpaperawardatETAPS2012.(EI,CCF-B)