Mandurah '98 Ninth University of Western Australia Computer Science Research Conference ``International Research Focus - Local Research Community'' Mandurah Gates Resort, September 21-22, 1998

Roger Duke

Invited Speaker (Academic)

Roger Duke graduated in mathematics from Adelaide University in 1968 and subsequently did his PhD research work at Manchester University. In 1971 he joining the Open University where he lectured in the Department of Mathematics and Computing. In 1985 he joined the Department of Computer Science at the University of Queensland where he is a Reader.

Over the past 12 years, Roger's main research and teaching interests have been in the application of formal methods in software engineering. In particular, he has been interested in formal specification and the role such specifications play in the process of abstraction and design of software systems. He has been part of a team developing the specification language Object-Z, an extension of the Z language specifically to facilitate the specification of systems in an object-oriented style. Current research projects include the development of a formalisation process for Object-Z that can be integrated into existing software engineering processes, the development of a formal theory for software reuse, and the appliction of formal methods in requirments engineering.

Roger was Programme Co-chair of the Asia-Pacific Software Engineering Conference in 1994 and 1995, and was Programme Co-chair of the TOOLS Pacific conference between 1995 and 1997.