Keynote Speaker / 主讲嘉宾

Prof. Shaoying Liu, Hosei University, Japan
IEEE Fellow, BCS Fellow, MJSSST
Professor of Software Engineering

 

 

 

 

Title: Self-Adaptive Verification for Safety-Critical Software

Biography: Shaoying Liu is Professor of Software Engineering at Hosei University, Japan, IEEE Fellow, and BCS Fellow. He received the Ph.D degree in Formal Methods from the University of Manchester U.K. in 1992. His research interests include Formal Engineering Methods, Testing-Based Formal Verification, Human-Machine Pair Programming, Safety-Critical and Complex Computer Systems, and Intelligent Software Engineering Environments. He has published and edited 12 books and over 200 academic papers in refereed journals and international conferences. He is the founder of the ICFEM conference, has served as General Chairs and/or Program Chairs for many international conferences. Currently, he is on the Steering Committee of ICFEM and ICECCS conference series, and on the Editorial Board of the Journal of Testing, Verification and Reliability and IEEE Transactions on Reliability. 
 

© Copyright 2020 ICMSS. Wuhan, China