Working for Deutsche Bank, JPMorgan and the lot, starting salaries for Imperial graduates are upwards of £40k (definitely know people who are starting at £50k).
You're correct, £25k seems to be a ballpark figure for software houses. Looking at it statistically, average salary for Imperial graduates is something like £35k, so you can do the math and infer what the top grads are earning.