Zhiming Liu
Zhiming Liu received his PhD from the University of Warwick (UK) in 1991. Zhiming Liu worked as a research fellow at the University of Warwick during 1988-1994, a lecturer in Computer Science at the University of Leicester (UK) during 1994-2005. He joined UNU-IIST as a research fellow in Junly 2002. Zhiming Liu's research includes formal methdods and theories of computer systems development, in particular in the areas of Real-Time, Fault-Tolerant Systems, Object Systems and Component Systems. His research results have been published in main stream journals, including ACM TOPLAS, Theoretical Computer Science and Formal Aspects of Computing, and proceedings of conferences.  Zhiming Liu is now leading a research team on the rCOS Method for Component-Based and Model Driven Development, with academic members, postdoctoral project fellows, PhD students and fellows. For the details of their research, please visit  http://rcos.iist.unu.edu. Zhiming Liu is a member of the editorial board of International Journal on Innovations in Systems and Software Engineering. He is the founder of ICTAC (International Colloquium on Theoretical aspects of Computing) and FACS (Workshop on Formal aspects of Component Systems). He is a member of the Steering Committes of ICTAC, SEFM (IEEE Conference on Software Engineering and Formal Methods), and the IEEE Conference on Theoretical Aspects of Software Engineering (TASE). He edited a number of books and special issues of journals.
Jeffrey William Sanders
Jeffrey William Sanders is born in Melbourne, Australia in 1950. He received his BS (Hons, first class) in Pure Mathematics from Monash University in 1971 and his PhD in Pure Mathematics (Abstract Harmonic Analysis) from Australian National University in 1975. He is a Principal Research Fellow at International Institute for Software Technology of United Nations University in Macao. He has been a University Lecturer in Computer Science at the University of Oxford and Tutorial Fellow in Computation at Lady Margaret Hall, Oxford (April 1986 -- February 2007). He is now an Emeritus Fellow of Lady Margaret Hall at Oxford. His research theme is the discovery of techniques that facilitate the understanding and production of information systems in areas where intuition alone does not suffice. His specific topic of interests include concurrency and distributed systems, probabilistic systems, quantum programming, and hardware design. His theoretical interests are specification and derivation of systems, program semantics and information ethics; and his other interests are reading, music, and keeping fit.