Seminar: Software Engineering for Sustainable Development - Challenges and Opportunities

16 Oct 2012 15:00
17 Oct 2012 16:30

Speaker:  Dr. Zhiming Liu

Venue:  UNU-IIST Seminar Room

The seminar is delivered in two 1.5 hour sessions, i.e., 3:00-4:30pm on both 16 and 17 Oct 2012.
 
Abstract: 
The seminar introduces
  • Software and software engineering are about: the history, the state of the art and challenges.
  • How software engineering is related to sustainable development: opportunities and challenges in developing software solutions to problems of development.
  • The UNU-IIST rCOS Model-Driven Software Engineering Method.
The purpose is to provide you the understanding of fundamental software engineering concepts, methods and challenges. This understanding will be useful for you to investigate the problems of sustainable development with computational thinking and to seek their solutions with software and system engineering methods.
 
You are suggested to relate the concepts and methods to the problems you learnt in your lectures on sustainable development in terms of modeling, automation of monitoring, analyzing, managing, intervening objects, policies and processes that you have encountered in you lectures.
 
Biography: 
Zhiming Liu received his B.Sc in Applied Mathematics in 1982, M.Sc in Computer Science from the Institute of Software of the Chinese Academy of Science in 1987, and PhD in Computer Science from the University of Warwick (UK) in 1991. He did his postdoctoral research at the University of Warwick and the Technical University of Denmark from 1991-1994. He was a university lecturer in Computer Science at the University of Leicester (UK) from 1994-2005. He is currently a Senior Research Fellow of the United Nations University International  Institute for Software Technology in Macau (UNU-IIST).
 
Zhiming Liu's research is in the  area of Information Engineering and centres on sound methods of  modeling, design and analysis of dependable computing systems. He has done renown work in formal modeling and analysis real-time and  fault-tolerant systems, embedded systems, the transformational approach he developed for specification and verification of fault-tolerant and real-time properties in particular.  His current research focuses on techniques and tools for modeling, design and analysis of object-oriented, component-based and web-based systems. He is currently leading a team working on the development of a method, known as rCOS,  of model driven design component-based and object-oriented software.
 
Zhiming Liu has over 80 peer reviewed publications in mainstream journals and international conferences. He has also edited a dozen of books/proceedings and special issues of journals.
 
Zhiming Liu is an invited speakers of a number of conferences and invited lecturer of numerous tutorial and schools. He is often invited to give talks and seminars in computer science institutes and departments of universities in the world. He is a  member of the editorial board of the Springer Journal of Innovations in Systems and Software Engineering, a member of the editorial board ofScientific Annals of Computer Science, and a member of  ACM and IEEE.
 
Zhiming Liu also actively involves in international conferences, In particular, he is a founder of the International Colloquium on Theoretical Aspects of Computing (ICTAC) and the International Symposium of Formal Aspects of Component Software (FACS).  Th proceedings of both are published by Springer Lecture Notes in Computer Science, and selected papers are published in special issues of journals -- Formal Aspects of Computing, Theoretical Computer Science and Science of Computer Programming. He is a PC member of a large number of conferences.
 
Full biography at:
https://iist.unu.edu/people/lzm