Professor Jane Sinclair is a member of the Human Centred Computing research group in the Department of Computer Science at the University of Warwick. She obtained her PhD in Formal Methods from the Open University in 1997 and has published over 70 peer reviewed academic papers on formal methods, computer security and educational technology, including a widely-used textbook on the Z development method. Her recent collaborative work on the use of theory in Computer Science education research has received recognition with several best paper awards. She is on the editorial board/programming committee for a number of major journals and conferences relating to CS education and learning technology.