费媛
费媛，博士，助理研究员
上海交通大学公共卫生学院，
单细胞组学与疾病研究中心。
通讯地址：上海市黄浦区重庆南路227号
邮箱: feiyuan@sjtu.edu.cn
个人简介:
费媛毕业于华东师范大学软件学院，本科直博，师从朱惠彪教授，在何积丰院士团队下参与研究，于2018年取得博士学位，后进入上海师范大学就职，入选2021年上海师范大学“优秀青年教师”人才计划，并担任TASE2020分会场主席、SEKE系列国际会议的程序委员会委员以及WWW2024（Industry Track）程序委员会委员。2024年3月，加入上海交通大学公共卫生学院。累计发表论文30篇，其中国际会议论文17篇（第一或通讯作者8篇），SCI期刊论文13篇（第一或通讯作者11篇）。主要从事生物信息学领域的研究，擅长生物医学大数据的算法开发，机器学习、深度学习等人工智能方法在数据挖掘中的应用等。
研究方向:
1. 基于深度学习的医学影像智能分析
2. 多模态数据融合与生物标记物挖掘
3. 生物医学研究中的人工智能方法
教育经历:
2013 - 2018, 博士学位，直博，软件工程，软件学院，华东师范大学
2009 - 2013, 学士学位，本科，软件工程（实验班），软件学院，华东师范大学
工作经历:
2024.03 – 至今, 助理研究员, 上海交通大学公共卫生学院，单细胞组学与疾病研究中心
2019.01 - 2024.03, 讲师, 上海师范大学信息与机电工程学院，计算机系
代表性论文 (*:通讯作者) :
[1] Yuan Fei, Huibiao Zhu, Jiaqi Yin. FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT, Formal Aspects of Computing, 35(4): 1-36, 2023.
[2] Yuan Fei, Huibiao Zhu, Jiaqi Yin. Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL. Journal of Software: Evolution and Process, 35(7): 33 pages, 2023.
[3] Yuan Fei, Huibiao Zhu, Phan Cong Vinh. Security Analysis of the Access Control Solution of NDN Using BAN Logic. Mobile Networks and Applications, 25(3): 1162-1173, 2020.
[4] Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin. Comparative modelling and verification of Pthreads and Dthreads. Journal of Software: Evolution and Process, 30(3): 33 pages, 2018.
[5] Jiaqi Yin, Yuan Fei*. FVF-BIoT: a formal verification framework for blockchain-based IoT authentication. Software Qual Journal , 32(4): 1457-1480, 2024.
[6] Yongxin Zhao, Wenhan Wu, Yuan Fei*, Zhihao Liu, Yilong Yang, Ling Shi, Bo Zhang. An Architecture Refactoring Approach to Reducing Software Hierarchy Complexity. Journal of Software: Evolution and Process, 36(4): 27 pages, 2023.
[7] Jiaqi Yin, Huibiao Zhu, Yuan Fei*. Specification and Verification of the Zab Protocol with TLA+. Journal of Computer Science and Technology, 35(6): 1312-1323, 2020.
[8] Jiaqi Yin, Huibiao Zhu, Yuan Fei*. Formal Analysis and Automated Validation of Privacy-Preserving AICE Protocol in Mobile Edge Computing. Mobile Networks and Applications, 26(6), 2258–2271, 2021.
