@

@

||Top page | Profile | Research| Teaching| Laboratory information ||

@

@
Brief Biography
Shaoying Liu holds a B.Sc and a M.Sc degree in Computer Science from Xi'an Jiaotong University, China, and a Ph.D in Formal Methods from the University of Manchester, U.K. He worked as Assistant Lecturer and then Lecturer at Xi'an Jiaotong University, Research Associate at the University of York, and Research Assistant at the Royal Holloway and Bedford New College of the University of London, respectively, in the period of 1982 -- 1994. He joined the Department of Computer Science at
Hiroshima City University as Associate Professor in April 1994, and the Department of Computer Science
in the Faculty of Computer and Information Sciences at Hosei University in April 2000. In April 2001 he
was promoted to a full Professor .

He was invited as a Visiting Research Fellow to The Queen's University of Belfast from December 1994 to February 1995, a Visiting Professor to Oxford University Computing Laboratory from December 1998 to February 1999, and a Visiting Professor to the Department of Computer Science at the University of York from April 2005 to March 2006. From 2003 he is also invited as a Guest Professor to Shanghai Jiaotong University, Shanghai University, Xi'an Jiaotong University, Xidian University, and Xi'an Polytechnic University in China, respectively.

He is a Fellow of British Computer Society, Senior Member of IEEE Computer Society, and member of Japan Society for Software Science and Technology.
@
Awards
National Software Schools Best Ten Adjunct Instructor Award, 22 October 2011
(‘‰ΖŽ¦”ΝSoftwareŠw‰@\‰ΐŒ“E‹³Žt§
, 2011”N‚P‚OŒŽ‚Q‚Q“ϊ)
Professional Fellowship by British Computer Society, June 11, 2010.
Certificate of Appreciation for Outstanding Service as ICFEM'97 General Chair and Founder at the First IEEE International Conference on Formal Engineering Methods (ICFEM'97) by IEEE Computer Society Technical Committee on Complexity in Computing, Hiroshima, November 11, 1997.
Outstanding Paper Award for the paper Semi-automatic Transformation from Formal Specifications to Programs at the Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96), Montreal, Canada, October 21-25, 1996.
Second Prize Award for the Supporting Environment for Program Testing by Shannxi Province of China, 1990.
@
Professional Activities
@
( 1 )
14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan.
( 2 ) 8th IEEE International Conference on Engineering of Complex Computer Systems ICECCS'02, Greenbelt, Maryland, USA, Dec 2002
( 3 )
1st International Conference on Formal Engineering Methods, Hiroshima, Japan, Nov. 12-14, 1997 (Founding Chair of ICFEM).
@
( 1 )
10th International Conference on Formal Engineering Methods (ICFEM 2008), Oct. 27-31, 2008, Kitakyushu-City, Japan.
( 2 ) 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2005), June 16-20, Shanghai, China.
( 3 ) 6th IEEE International Conference on Engineering of Complex Computer Systems ICECCS'00, Tokyo, Japan
( 4 )
5th IEEE International Conference on Engineering of Complex Computer Systems ICECCS'99, Las Vegas, USA
( 5 )
2nd International Conference on Formal Engineering Methods ICFEM'98, Brisbane,Australia
( 6 )
3rd International Conference on Formal Engineering Methods ICFEM'00, York, UK
@
( 1 ) ICST 2012, SAC 2012, TASE 2012, ICFEM 2011, ICST 2011, QSIC 2011, SoMet 2011,
TASE 2011, SS 2011, ACM SAC 2010, AST 2010, COMPSAC 2010 (Track Co-Chair), QSIC 2010, SSIRI 2010, TASE 2010, ACM SAC 2009, AST 2009, ATVA 2009, AWFS 2009, ICFEM 2009, ICIS 2009, ICTAC 2009, QSIC 2009, SS2009, SSIRI 2009, TASE 2009, AST 2008, ATVA 2008, HASE 2008, ICECCS 2008, ICFEM 2008, QSIC 2008, SSIRI 2008, TASE 2008.
( 2 ) 6th International Conference on Quality Software (QSIC06)
( 3 ) 5th International Conference on Methodologies, Tools, and Techniques (SOMET06).
( 4 ) 4th International Symposium on Automated Technology for Verification and Analysis
(ATVA06)
( 5 ) 3rd International Symposium on Automated Technology for Verification and Analysis
(ATVA05)
( 6 ) Integrated Formal Methods: 5th International Conference (IFM05)
( 7 ) 7th International Conference on Formal Engineering Methods (ICFEM05)
( 8 ) Formal Methods 2005: International Symposium on Formal Methods (FM05)
( 9 ) Formal Methods Europe, FME2003
(10 )
7th IEEE International Conference on Engineering of Complex Computer Systems ICECCS'01, Skovde, Sweden .
(11 )
9th Asia-Pacific Software Engineering Conference APSEC'02, Gold Coast, Australia . APSEC'01, Macau . APSEC'00, Singapore . APSEC'99, Takamatsu, Japan .
(12)
3rd International Conference on Integrated Formal Methods IFM'02, May 15-18, 2002 Turku, Finland , IFM'00, Schloss Dagstuhl, Germany , IFM'99, York, UK
(13)
2nd Asia-Pacific Conference on Quality Software APAQS'01, Dec 10-11, 2001 Hong Kong
(14)
FM'99, World Congress on Formal Methods, Toulouse, France, Sept 1999.
(15)
ZB2000 International Conference of B and Z Users ZB2000 .
(16)
3rd IEEE International Conference on Engineering of Complex Computer Systems, Como, Italy, 1997.
@
( 1 )
Chair of Steering Committee of International Conference on Formal Engineering Methods (ICFEM) (from Jan. 2010)
( 2 ) 7th and 8th International Conference on Formal Engineering Methods (ICFEM05, ICFEM06)
( 3 ) 8th IEEE International Conference on Engineering of Complex Computer Systems ICECCS'02, Greenbelt, Maryland, USA, Dec 2002 , ICECCS'01, Skovde, Sweden , ICECCS'00, Tokyo, Japan , ICECCS'99, Las Vegas, USA
( 4 )
4th International Conference on Formal Engineering Methods ICFEM'02, Shanghai, China