Principal of the University of Edinburgh — Person who manages the University of Edinburgh