晏榮傑

晏榮傑，女，中國科學院大學專任教師，現任中國科學院軟體研究所副研究員、碩士生導師。主要研究方向為嵌入式與智慧型系統分析驗證、自主無人系統仿真測試。

2007年進入中國科學院軟體研究所任助理研究員。2008年赴法國格勒諾布爾阿爾卑斯大學從事博士後研究，2011年回國後歷任中國科學院軟體研究所助理研究員、副研究員。主持開發自動駕駛系統仿真測試工具ComOpT，相關成果獲2021年IEEE自動駕駛AI測試挑戰賽冠軍，並在FSE、ISSTA等國際會議發表《CCTest: Critical Configuration Testing for Autonomous Driving Systems》等論文。主持“泛在軟體系統的智慧型化開發、測試與運維方法”等科研項目，承擔《理論計算機科學基礎》課程教學，作為第一發明人擁有多項自動駕駛仿真測試相關發明專利。

基本介紹

• 中文名：晏榮傑
• 國籍：中國
• 畢業院校：華北電力大學
• 學位/學歷：博士

人物經歷

教育背景

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） Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs, ICAPS, 2020, 第 1 作者

（2） Neuron Activation Frequency Based Test Case Prioritization, TASE, 2020, 通訊作者

（3） SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications, TASE 2019, 2019, 第 1 作者

（4） Resource-aware design for reliable autonomous applications with multiple periods, FM 2018, 2018, 第 1 作者

（5） Design Verification and Validation for Reliable Safety-critical Autonomous Control Systems, ICECCS 2018, 2018, 第 1 作者

（6） A hybrid multi-objective evolutionary algorithm for energy-aware allocation and scheduling optimization of MPSoCs, ICTAI 2017, 2017, 第 1 作者

（7） Comprehensive static analysis for configurable software via combinatorial instantiation, COMPSAC 2017, 2017, 通訊作者

（8） Component-based verification using incremental design and invariants, Software and System Modeling, 2016, 通訊作者

（9） Communication optimizations for multithreaded code generation from Simulink models, ACM Trans. Embedded Comput. Syst., 2015, 通訊作者

（10） 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 periods 2018-07-17

（2）Formal collision avoidance analysis for rigorous building of autonomous marine vehicles 2017-11-17

（3）Annotation and analysis combined cache modeling for native simulation 2014-01-20