Manuel Blum
US-amerikanischer Informatiker