At which university is the twin brother of the namesake of the Verlinde formula, employed as a professor?