El top mundial matemático elige a este español por sus algoritmos para el alzheimer y el coche autónomo