基本信息
晏荣杰女硕导中国科学院软件研究所
电子邮件： yrj@ios.ac.cn
通信地址： 中关村南四街4号软件所5号楼
邮政编码： 100190

部门/实验室：计算机科学国家重点实验室
研究领域嵌入式、自治系统的分析与设计

招生信息
招生专业083500-软件工程
081202-计算机软件与理论

招生方向嵌入式系统分析与设计


教育背景2003-09--2007-06中国科学院软件研究所博士
1999-09--2002-04华北电力大学硕士
1995-09--1999-06华北电力大学学士

学历
学位

工作经历
工作简历2011-01~现在,中国科学院软件研究所,助理研究员，副研究员
2008-10~2010-12,法国乔治傅立叶大学,博士后研究员
2007-07~2008-09,中国科学院软件研究所,助理研究员
2002-05~2003-08,华北电力大学,助教

社会兼职

教授课程理论计算机科学基础


专利与奖励
奖励信息
专利成果

出版信息
发表论文（1）SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications,TASE 2019,2019,第1作者
（2）Resource-aware design for reliable autonomous applications with multiple periods,FM 2018,2018,第1作者
（3）Design Verification and Validation for Reliable Safety-critical Autonomous Control Systems,ICECCS 2018,2018,第1作者
（4）A hybrid multi-objective evolutionary algorithm for energy-aware allocation and scheduling optimization of MPSoCs,ICTAI 2017,2017,第1作者
（5）Comprehensive static analysis for configurable software via combinatorial instantiation,COMPSAC 2017,2017,通讯作者
（6）Component-based verification using incremental design and invariants,Software and System Modeling,2016,通讯作者
（7）Communication optimizations for multithreaded code generation from Simulink models,ACM Trans. Embedded Comput. Syst.,2015,通讯作者
（8）Formal consistency checking over specifications in natural languages,DATE 2015,2015,第1作者

发表著作

科研活动
科研项目（ 1 ） 大规模软件的自动化分析与测试, 参与,部委级,2017-05--2022-05
（ 2 ） 验证、交互和证明, 参与,部委级,2017-09--2020-08
（ 3 ） 智能计算系统功能测试, 参与,国家级,2018-06--2020-06

参与会议（1）Resource-aware design for reliable autonomous applications with multiple periods2018-07-17
（2）Formal collision avoidance analysis for rigorous building of autonomous marine vehicles2017-11-17
（3）Annotation and analysis combined cache modeling for native simulation2014-01-20


合作情况
项目协作单位

指导学生