O professor de Informática que há 40 anos criou a estratégia de desenvolvimento de software Design by Contract, que ainda hoje é utilizada, esteve em Lisboa para a maior conferência do mundo da especialidade e conversou com o DN sobre inteligência artificial - em especial sobre as suas limitações.