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 Antonio Cerone

United Nation University/Institute of Software Technology, Macao

Antonio Cerone joined the International Institute for Software Technology (IIST) of the United Nations University (UNU) as a Research Fellow in February 2004. Before joining the UNU-IIST, Antonio held research positions at the Software Verification Research Centre (SVRC) (merged in 2003 into the School of Information Technology and Electrical Engineering (ITEE) of the University of Queensland (UQ) (Australia) the Advanced Computing Research Centre (ACRC) of the University of South Australia (UniSA), Australia; the University of Frankfurt, Germany.

His research focuses on the use of formal methods in verification of software and hardware, and in modelling cognitive human behaviour. He is particularly interested in the verification of interactive systems, security systems, safety-critical systems, asynchronous hardware and concurrent and real-time systems.