Yuan Fei
Yuan Fei，Ph.D.,，Assistant Research Fellow
The Center for Single-Cell Omics (CSCOmics), School of Public Health,
Shanghai Jiao Tong University School of Medicine
Address: 227 South Chongqing Road, Shanghai, China
Email: [email protected]
Personal Profile:
Yuan Fei graduated from the School of Software Engineering at East China Normal University, completing a direct Ph.D. program under the supervision of Professor Huibiao Zhu. She conducted research as part of Academician Jifeng He's team and obtained her doctoral degree in 2018. Subsequently, she joined Shanghai Normal University and was selected for the 2021 "Outstanding Young Teachers" talent program. She served as Chair of the TASE?2020 sub?forum and as a program committee member for the SEKE series of international conferences and the Industry Track of WWW?2024. In March 2024, she joined the School of Public Health of Shanghai Jiao Tong University. She has published 30 papers, including 17 papers at international conferences (with 8 as the first or corresponding author) and 13 papers in international SCI journals (with 11 as the first or corresponding author). Her research focuses on bioinformatics, specializing in algorithm development for biomedical big data and the application of artificial intelligence methods, including machine learning and deep learning, in data mining.
Research interests:
1. Deep Learning-Based Intelligent Analysis of Medical Imaging
2. Multimodal Data Fusion and Biomarker Discovery
3. Artificial Intelligence Methods in Biomedical Research
Education Experience:
2013 - 2018, Ph.D. (Direct Admission), Software Engineering, East China Normal University.
2009 - 2013, B.S., Software Engineering (Experimental Class), East China Normal University.
Work Experience:
2024.03 - Present, Assistant Research Fellow, School of Public Health, Shanghai Jiao Tong University School of Medicine.
2019.01 - 2024.03, Lecturer, Department of Computer Science, Shanghai Normal University.
Representative publications (*: corresponding author) :
[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.
