Dr Jeff Sanders
United Nation University/Institute of Software Technology, Macao

Jeff Sanders is Principal Research Fellow at UNU-IIST, where he has been for just over a year. For the previous two decades he was a member of Oxford's Programming Research Group, and before that he trained and began his academic career in Australia (BSc (Hons), Pure Mathematics, Monash University; PhD Harmonic Analysis, Australian National University).

His interests lie largely in Formal Methods and the construction of formalisms for the specification, derivation and design of information systems, including: system specification; refinement and derivation of algorithms; process algebra; formalisms to support: concurrency, probability, security, quantum computing, adaptability, hardware, hybrid systems and object orientation. He is also interested in systems of artificial agents and their ethical issues.

Dr. Van Dang Hung
University of Da Nang, Vietnam