Shaoying Liu is a Professor of software engineering at the Hosei University, Tokyo, Japan. He received a Ph.D. degree in computer science from the University of Manchester, Manchester, UK, in 1992. His research interests include formal engineering methods for software development, specification inspection, specification-based program inspection, specification-based program testing, and intelligent software engineering environments. Liu has published a book titled Formal Engineering for Industrial Software Development Using the SOFL Method with Springer-Verlag, four edited conference proceedings, and over 110 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) specification language and method since 1989. In recent years, he has served as a Program Cochair of International Conference on Formal Engineering Methods (ICFEM 2008), the Chair of the Steering Committee for ICFEM conferences, and PC member for many international conferences. He is on the editorial board for the Journal of Testing, Verification and Reliability (STVR). Liu is a Fellow of the British Computer Society, a Senior Member of the IEEE Computer Society, and a Member of the Japan Society for Software Science and Technology.
Biography Updated on 9 January 2012