| @ |
|
@
||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
(Ζ¦ΝSoftwarew@\ΐE³t§, 2011NPOQQϊ) |
| 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 |
|
|