Hiroshima University, Public Relations Group
E-mail: koho[at]office.hiroshima-u.ac.jp (Change [at] into @)
1-3-2 Kagamiyama, Higashi-Hiroshima City, Hiroshima, Japan 739-8511
Faculty Information Details
All data is as of April 22, 2024.
- LIU SHAOYING
- Professor
Affiliation | Graduate School of Advanced Science and Engineering |
---|---|
Discipline | Informatics |
Academic Degrees |
Xi'an Jiaotong University The University of Manchester (UK) Ph.D (Computer Science) |
Research Fields |
Informatics; Computing Technologies; Software |
Research Keywords | Software Engineering, Formal Methods, Formal Specification Techniques, Software Testing, Software Formal Verification, Intelligent Software Engineering Environment |
Comments | Shaoying Liu is currently a Professor of Software Engineering at Hiroshima University, Japan. Previously, he was a Professor at Hosei University from April 2000 to March 2020. He received the Ph.D in Computer Science from the University of Manchester, U.K in 1992. His research interests include Formal Methods and Formal Engineering Methods for Software Development, Specification Verification and Validation, Specification-based Program Inspection, Automatic Specification-based Testing, Testing-Based Formal Verification, Human-Machine Pair Programming, and Intelligent Software Engineering Environments. He has published a book entitled "Formal Engineering for Industrial Software Development" with Springer Verlag, twelve 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 QRS 2020 and ICFEM 2017, Steering Committee Chair of ICECCS, and PC member for numerous international conferences. He is currently an Associate Editor for IEEE Transactions on Reliability and the Journal of Innovations in Systems and Software Engineering, respectively. He is IEEE Fellow, BCS Fellow, AAIA Fellow, and a member of IPSJ and IEICE. |
Profiles of Faculty and Research Scholars |
Click here |
Past media appearances | |
Topic | |
SDGs | |
Educational Programs |
[Bachelor Degree Program] School of Informatics and Data Science : Department of Informatics and Data Science : Computer Science Program [Master's Program] Graduate School of Advanced Science and Engineering : Division of Advanced Science and Engineering : Informatics and Data Science Program [Doctoral Program] Graduate School of Advanced Science and Engineering : Division of Advanced Science and Engineering : Informatics and Data Science Program |
Contact us for interview requests
Interview Request Form