Michael Walker — English mathematician