Biography

Qing Li is a Chair Professor and Head of the Department of Computing, the Hong Kong Polytechnic University. He received his B.Eng. from Hunan University (Changsha), and M.Sc. and Ph.D. degrees from the University of Southern California (Los Angeles), all in computer science. His research interests include multi-modal data management, conceptual data modeling, social media, Web services, and e-learning systems. He has authored/co-authored over 500 publications in these areas, with over 42000 citations and H-index of 84 (source: Google Scholars). He is actively involved in the research community and has served as an Editor-in-Chief of Computer & Education: X Realitty (CEXR) by Elsevier, an associate editor of IEEE Transactions on Artificial Intelligence (TAI), IEEE Transactions on Cognitive and Developmental Systems (TCDS), IEEE Transactions on Knowledge and Data Engineering (TKDE), ACM Transactions on Internet Technology (TOIT), Data Science and Engineering (DSE), and World Wide Web (WWW) Journal, in addition to being a Conference and Program Chair/Co-Chair of numerous major international conferences. He also sits/sat in the Steering Committees of DASFAA, ER, ACM RecSys, IEEE U-MEDIA, and ICWL. Prof. Li is a Fellow of IEEE, AAIA, and IET.

Biography

Shaoying Liu is a Professor of Software Engineering at Hiroshima University, Japan, IEEE Fellow, BCS Fellow, and AAIA Fellow. He received the Ph.D in Computer Science from the University of Manchester, U.K in 1992, and has experienced research and education at 9 universities in China, the U.K., and Japan. 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 and SOFL+MVSL workshop in 2012, respectively. He designed the SOFL (Structured Object-Oriented Formal Language) specification language and method, authored two books entitled "Formal Engineering for Industrial Software Development" and "Agile-SOFL: Agile Formal Engineering Method", respectively, both published by Springer, more than 15 edited books, and over 300 papers in refereed journals and international conferences. He has received many awards, including 2020 and 2022 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 Chair of several international conferences, including ICFEM 2025 and ICECCS 2022.

Biography

Professor (FH) Karsten Böhm studied Computer Science with a focus on Automatic Language Processing and Intelligent Systems at universities in Leipzig and London. Subsequently, he was responsible for the development and application of information extraction processes as a project manager in a technology-oriented start-up company and implemented knowledge management projects in various industries and companies together with partner companies. After returning to the University of Leipzig in 2003, he worked at the Chair of Business Information Systems in the third-party funded area on various research projects in the field of business process-oriented knowledge management. In 2006, he was appointed Research Professor of Information Systems at the University of Applied Sciences Kufstein Tirol, where he was involved in various European, national and regional research projects in addition to his tasks in university teaching. From 2011 to 2022, he first took over the deputy management and then the management of various courses at the FH Kufstein Tirol, including the bachelor's degree program "Web Business & Technology" and the master's programs "Web Communication & Information Systems" and "Data Science & Intelligent Analytics". During this period, he also headed the Institute for Web-based Technologies and Applications (WEBTA).

His research interests lie in the field of IT-supported knowledge management for the operational support of operational knowledge processing processes as well as innovation management in SMEs. Current research deals with the construction and use of pre-built information spaces in the context of university study programs and the use of agile methods for university teaching in the context of problem-based learning (PBL).