【校内主页】 【邮箱登陆】 【智慧校园】
公共搜索

日本法政大学刘少英教授10月25日来校讲学


应计算机科学与工程学院邀请,日本法政大学刘少英教授来校讲学。现预告如下:
 讲座主题1:形式化App工程方法(Formal engineering method)
主要讲解编辑的研究组提出的App形式化工程方法SOFL的基本内容。如SOFL的形式化规约、从形式化规约到面向对象的实现技术等。
讲座时间:10月25日上午10:00-12:00
主 讲 人:刘少英
  讲座地点:F电2


 讲座主题2:形式化App工程方法在App质量保证中应用(Formal engineering method for software quality assurrance)
主要讲解SOFL技术在App质量保证中应用,如基于形式规约的审查和测试等。
讲座时间:10月25日下午4:20-5:30
主 讲 人:刘少英
  讲座地点:F电2


刘少英教授概况:
刘少英教授,日本著名计算机专家,日本法政大学教授。早年在西安交通大学获得学士和硕士学位,后在英国曼彻斯特大学获得博士学位。现为IEEE计算机学会复杂性技术委员会副主席,IEEE计算机学会、ACM、日本App科学与技术学会成员。多年来,他在计算机科学的许多领域,包括形式化工程方法、App开发方法学、App测试、可靠复杂的计算机系统和智能App工程环境等方面做出了重要贡献。他在著名国际杂志及会议发表学术论文80多篇,出版研究专著4部。
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, University of London, respectively, in the period of 1982 -- 1994. He
joined the Department of Computer Science at Hiroshima City University in
Japan as Associate Professor in April 1994, and then became a faculty
member of the Department of Computer Science of the Faculty of Computer
and Information Sciences at Hosei University in Japan 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 from December
1998 to February 1999, and a Visiting Professor to University of York from
April 2005 to March 2006. From 2003 he is also invited as a Guest Professor
to Shanghai Jiaotong University, Xi’an Jiaotong University, Shanghai
University, Xidian University, and Xi’an Polytechnic University in China,
respectively.
教学科研成果:
Liu’s research interests include Formal Engineering Methods, Software Development Methodology, Software Inspection, Software Testing,Dependable Complex Computer Systems, and Intelligent Software Engineering Environments. He has led more than 15 research projects funded by the Ministry of Education, Culture, Sports, Science and Technology of Japan and other academic institutions and industry since 1995. He 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 first 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) formal engineering method since 1989.

 (计算机科学与工程学院)


上一条:英国Heriot-Watt University Cheng-Xiang Wang教授10月23日来校讲学
下一条:日本熊本大学宇佐川毅教授9月25日来校讲学

【打印资讯】 【关闭】

XML 地图 | Sitemap 地图