David Carrington ( http://www.it.uq.edu.au/personal/davec) (davec@cs.uq.edu.au) is a senior lecturer in the Department of Computer Science and an academic member of the Software Verification Research Centre at The University of Queensland, Australia. As well as his interest in teaching software engineering, David's research interests focus on formal approaches to software and user interface development. This includes research into both methods and supporting tools.
April, 1997