Keynote Speakers-ICKE 2023
Fellow of IEEE, BCS
Prof. Shaoying Liu, Hiroshima University, Japan
Title: Animation-Based Approach to Formal Specification Validation (Click for abstract)
Biography: Shaoying Liu is a Professor of Software Engineering at Hiroshima University, Japan, IEEE Fellow, and BCS Fellow. He received the Ph.D in Computer Science from the University of Manchester, U.K in 1992. His research interests include Formal Engineering Methods for Software Development, Specification Verification and Validation, Specification-based Program Inspection, Automatic Specification-based Testing, Testing-Based Formal Verification, and Intelligent Software Engineering Environments. He has published a book entitled "Formal Engineering for Industrial Software Development" with Springer-Verlag, 12 edited conference proceedings, and over 200 academic papers in refereed journals and international conferences. He proposed to use the terminology of "Formal Engineering Methods" in 1997, and has established Formal Engineering Methods as a research area based on his extensive research on the SOFL (Structured Object-Oriented Formal Language) method since 1989, and the development of ICFEM conference series since 1997. In recent years, he has served as the General Chair of ICFEM 2017, the Chair of ICECCS Steering Committee, and a PC member for numerous international conferences. He is an Associate Editor for IEEE Transactions on Reliability and a member of JSSST and IPSJ.
Prof. Maiga Chang, Athabasca University, Canada
Title: Using Machine Learning Tools in the Cloud: Experience Gained from the Ask4Summary Research Project (Click for abstract)
Biography: Dr. Maiga Chang is a Full Professor in the School of Computing and Information Systems at Athabasca University, Canada. His research mainly focus on game-based learning, training and assessment; learning behaviour analysis; learning analytics and academic analytics; intelligent agent technology; health informatics; data mining; computational intelligence; natural language processing; artificial intelligence; museum education mobile learning and ubiquitous learning; healthcare technology, etc.
Prof. Chai Ching-sing, The Chinese University of Hong Kong, Hong Kong
Title: Fostering students’ motivation for AI education (Click for abstract)
Biography: Ching Sing CHAI received his B.A. from the National Taiwan University; PGDE and MA from Nanyang Technological University; and his Ed D from the University of Leicester. He served as a secondary Chinese language teacher and head of department, and as an associate professor in Nanyang Technological University. He is currently a professor in the Chinese University of Hong Kong. He has published more than 100 SSCI papers. His research interests include technological pedagogical content knowledge, language learning, STEM and AI education, and teacher professional development.