Prof Barbara Liskov thanking the ETH in the name of the 3 honorary degrees