Lucasian professor in de wiskunde