mathematician and Computer Scientist (1930-2019)