University of Edinburgh Institute for Astronomy