費(fèi)媛
費(fèi)媛,，博士，助理研究員
上海交通大學(xué)公共衛(wèi)生學(xué)院，
單細(xì)胞組學(xué)與疾病研究中心,。
通訊地址：上海市黃浦區(qū)重慶南路227號
郵箱: [email protected]
個人簡介:
費(fèi)媛畢業(yè)于華東師范大學(xué)軟件學(xué)院,，本科直博,，師從朱惠彪教授,，在何積豐院士團(tuán)隊下參與研究，于2018年取得博士學(xué)位,，后進(jìn)入上海師范大學(xué)就職,，入選2021年上海師范大學(xué)“優(yōu)秀青年教師”人才計劃，并擔(dān)任TASE2020分會場主席,、SEKE系列國際會議的程序委員會委員以及WWW2024（Industry Track）程序委員會委員,。2024年3月，加入上海交通大學(xué)公共衛(wèi)生學(xué)院,。累計發(fā)表論文30篇,，其中國際會議論文17篇（第一或通訊作者8篇），SCI期刊論文13篇（第一或通訊作者11篇）,。主要從事生物信息學(xué)領(lǐng)域的研究,，擅長生物醫(yī)學(xué)大數(shù)據(jù)的算法開發(fā)，機(jī)器學(xué)習(xí),、深度學(xué)習(xí)等人工智能方法在數(shù)據(jù)挖掘中的應(yīng)用等,。
研究方向:
1. 基于深度學(xué)習(xí)的醫(yī)學(xué)影像智能分析
2. 多模態(tài)數(shù)據(jù)融合與生物標(biāo)記物挖掘
3. 生物醫(yī)學(xué)研究中的人工智能方法
教育經(jīng)歷:
2013 - 2018, 博士學(xué)位，直博,，軟件工程,，軟件學(xué)院，華東師范大學(xué)
2009 - 2013, 學(xué)士學(xué)位,，本科,，軟件工程（實驗班），軟件學(xué)院,，華東師范大學(xué)
工作經(jīng)歷:
2024.03 – 至今, 助理研究員, 上海交通大學(xué)公共衛(wèi)生學(xué)院,，單細(xì)胞組學(xué)與疾病研究中心
2019.01 - 2024.03, 講師, 上海師范大學(xué)信息與機(jī)電工程學(xué)院，計算機(jī)系
代表性論文 (*:通訊作者) :
[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.
