Erwin Engeler
"I'm very sad to have lost a good old friend. Our mathematical beginnings overlapped at the ETH in Zurich: Corrado was an assistant of Prof.E.Stiefel in applied mathematics in the late 1940s. As such he was sent to Bavaria to inspect the hidden Zuse Z4 computer in view of its operability. With him was Ambros Speiser, who went on to found the Zurich IBM Research Laboratory (which in his time produced four Nobel prizes).The machine was then smuggled into Switzerland and became the first programmable scientific computer on the continent.
We must have met in Bernays' logic seminar (he is Doktorvater to both of us) and around the Zuse computer (on which I tried, unsuccessfully because of its severe limitations, to implement a decision procedure for sentential logic). We diverged somewhat, I went into model theory and universal algebra in the USA, while he stayed with computers and had a successful career in Italy.
Corrado is better known, of course, for his pioneering work in theoretical computer science. He saw clearly the use of formal methods in the theory of programming, and in particular the paradigm constituted by Lambda Calculus. On this topic, I connected again with Boehm, when I developed a universal-algebra orientation (book:""The Combinatory Programme"") with my ETH students, while Corrado founded a successful Italian school, oriented more on deductive systems."