Jonathan Bowen is Professor of Computer Science at Birmingham City University, Chairman of Museophile Limited (founded in 2002), and an Emeritus Professor at London South Bank University, where he established and headed the Centre for Applied Formal Methods in 2000