个人简介

朱雪阳女中国科学院软件研究所 招生信息 软件工程(083500) 计算机软件与理论(081202) 招生方向 嵌入式系统设计,形式化方法 科研项目 （1）同步数据流模型优化研究,主持,自然科学基金面上项目,2016-01--2019-12 （2）度量区间时序逻辑MITL的模型检测与控制器合成,参与,自然科学基金面上项目,2015-01--2018-12 （3）动态数据结构的形状性质与数据约束：基于分离逻辑的自动分析与验证,参与,自然科学基金面上项目,2015-01--2018-12 BookChapters 18.Xue-YangZhu,WenhuiZhang,GuangyuanLi,YiLv,andHuiminLin.ReportonAdvancesinModelChecking.ReportonAdvancesinComputerScienceandTechnology(2011-2012).ISBN：9787504660206,ChinaScienceandTechnologyPress,2012.PP169-186.(inChinesewithEnglishabstract)(pdf)