En San Lorenzo de El Escorial, un colegio público lleva su nombre.