Yan Zhang, University of Electronic Science and Technology of China, China
IEEE Fellow, IET Fellow, Member of the European Academy of Sciences, the Norwegian Academy of Science and Letters, and the Norwegian Academy of Engineering
Yan Zhang, Professor at University of Electronic Science and Technology of China (UESTC), IEEE Fellow, IET Fellow, and Clarivate Analytics "Highly Cited Researcher." Elected member of MAE, DKNVS, and NTVA. His recent research focuses on next-generation wireless networks and intelligent and secure Internet of Things (IoT). His work has been cited over 53,000 times with an H-index of 118. He is now serving as Co-Editor-in-Chief of IEEE Transactions on Industrial Informatics (IEEE TII), Area Editor for IEEE Transactions on Green Communications and Networking (IEEE TGCN), Senior Editor for IEEE Systems, and editor of multiple IEEE Transactions/Magazines and Chinese scientific journals.
Shaoying Liu, East China Normal University, China
IEEE Fellow, BCS Fellow
Shaoying Liu is a Distinguished Professor at Software Engineering Institute of East China Normal University, China, IEEE Fellow, BCS Fellow, AAIA Fellow, and selected for China’s National High-Level Talent Program (2023). He received his Ph.D. in Computer Science from the University of Manchester, U.K., in 1992, and has held research and teaching positions at ten universities in China, the United Kingdom, and Japan, respectively. His research interests include Formal Engineering Methods, Specification-based Program Inspection and Testing, Testing-Based Formal Verification (TBFV), Human-Machine Pair Programming (HMPP), and Dependable Computing. Liu is a pioneer and leading researcher in Formal Engineering Methods for Software Development. He founded the ICFEM conference in 1997, SOFL+MVSL workshop in 2012, and SFPVV symposium in 2024, respectively. He designed the SOFL (Structured Object-Oriented Formal Language) specification language and method, authored two books titled "Formal Engineering for Industrial Software Development" and “Agile SOFL: Agile Formal Engineering Method”, respectively, both published by Springer, more than 16 edited books, and over 300 papers in refereed journals and international conferences. He has received many awards, including “Special Achievement Award” from IEEE DSA 2024, 2022 and 2020 “Distinguished Research Awards” from IPSJ/SIGSE respectively, the “20 Year ICFEM Impact Award” from ICFEM 2018, “IEEE Reliability Society Japan Joint Chapter 2016 Best Paper Award”, and “Outstanding Paper Award’’ from ICECCS’96. In recent years, he has served as the General/Conference Chair of several international conferences, including ICFEM 2024, WSSE 2025, and SFPVV 2025.
TBA
TBA