> That's for international students going to the UK to study CS

Sadly, no, £9k/year is the price for UK students. International students studying in the UK have much higher costs: https://www.uniadmissions.co.uk/international-students/inter...