費媛，女，博士，上海師範大學信息與機電工程學院助理研究員，研究方向包括高可信計算、形式化方法、程式分析與驗證、生物信息學、醫學影像智慧型分析等。2018年於華東師範大學軟體學院獲博士學位，2019年1月至2024年3月任該校計算機系講師，2021年入選上海師範大學“優秀青年教師”人才計畫。
其研究方向涵蓋多執行緒系統驗證、網路協定建模、人工智慧方法套用等領域，在《Journal of Software: Evolution and Process》等期刊及HASE、ICFEM等國際會議發表論文30篇，其中第一或通訊作者論文19篇，代表性成果涉及形式化驗證框架、醫療物聯網協定安全、區塊鏈認證。曾擔任TASE2020分會場主席及WWW2024（Industry Track）程式委員。2019-2020學年主講圖像處理課程。
基本介紹
- 中文名：費媛
- 學位/學歷：博士
- 職業：教師
- 專業方向：高可信計算、形式化方法、程式分析與驗證、進程代數
- 任職院校：上海師範大學信息與機電工程學院
研究方向,主講課程,學術成果,
研究方向
高可信計算、形式化方法、程式分析與驗證、進程代數
主講課程
教學工作
教職工課程信息
開課學年 開課學期 課程名稱
2019-2020 2 圖像處理
學術成果
代表性研究成果
1. Fei Yuan, Zhu Huibiao, Wu Xi, Fang Huixing, Qin Shengchao. Comparative modelling and verification of Pthreads and Dthreads. Journal of Software: Evolution and Process, Vol 30(3), 33 pages, March, 2018
2. Fei Yuan, Zhu Huibiao, Li Xin. Modeling and Verification of NLSR Protocol Using UPPAAL. Proc. TASE 2018: 12th International Symposium on Theoretical Aspects of Software Engineering, IEEE Computer Society, pp. 108-115, 29-31 August, 2018. Guangzhou, China.
3. Fei Yuan, Zhu Huibiao. Modeling and Verifying NDN Access Control Using CSP. Proc. ICFEM 2018: 20th International Conference on Formal Engineering Methods, Springer, 12-16 November, 2018. LNCS 11232
4. Fei Yuan, Zhu Huibiao, Wang Huiwen. Security Analysis of the Access Control Solution of NDN Using BAN Logic. Proc. SEKE 2018: The 30th International Conference on Software Engineering and Knowledge Engineering, pp. 659-664, 1-3 July, 2018. Redwood City, San Francisco Bay, California, USA.
5. Fei Yuan, Zhu Huibiao, Wu Xi, Fang Huixing. Comparative Modeling and Verification of Pthreads and Dthreads, Proc. HASE 2016: 17th IEEE International Symposium on High Assurance Systems Engineering, IEEE Computer Society,
6. Wang Huiwen, Zhu Huibiao, Fei Yuan, Xiao Lili. Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. Proc. SEKE 2018: The 30th International Conference on Software Engineering and Knowledge Engineering, 1-3 July, 2018. Redwood City, San Francisco Bay, California, USA.
7. Liu Ailun, Zhu Huibiao, Fei Yuan, Xiang Shuangqing, Lu Gang, Xie Wanling.Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra, Proc. COMPSAC 2017: 41st IEEE Computer Society Signature Conference on Computers, Software and Applications,IEEE Computer Society, 4-8 July, 2017.Turin, Italy.
8. Lu Jianyu, Xie Wanling, Zhu Huibiao, Fei Yuan. A Proof System for MDESL.Proc. SEW-37:The 37th IEEE Software Engineering Workshop, FedCSIS Communication Papers 2017, September, 2017. Prague, Czech Republic.
9. Wang Huiwen, Zhu Huibiao, Xiao Lili, Fei Yuan. Formalization and Verification of the Openflow Bundle Mechanism using CSP. International Journal of Software Engineering and Knowledge Engineering.
10. Yin Jiaqi, Zhu Huibiao, Fei Yuan, Fang Yucheng. Modeling and Verifying Spark on YARN Using Process Algebra. Proc. HASE 2019: 19th IEEE International Symposium on High Assurance Systems Engineering, IEEE Computer Society, 3-5 January, 2019, Hangzhou, China.
