Correctness and Design of Computational Systems
16 January 2020 - 16 January 2020
Manno, Galleria 1, 2nd floor, room G1-201 @12:00
Most literature in the Philosophy of Computing stresses the dual, abstract and physical nature of computational systems. Under many respects, this debate reduces to the problem of explaining the relation which has traditionally been expressed in terms of the duality between specification and implementation. When this problem is analysed from the point of view of the notion of information though, computational systems require to be described at several levels of abstraction, and at each an appropriate notion of information is required. With such a conceptual tool in place, correctness of computational artifacts is adequately defined at functional, procedural and executional levels. A correct physical computational system is one which satisfies all such layers. This tripartite notion of correctness based on information is in turn essential to provide the basic elements of an appropriate logical analysis of efficiency, correctness, explanation and resilience for computational systems.

The speaker

Giuseppe Primiero is Associate Professor of Logic at the Department of Philosophy, University of Milan (Italy). He acts as President of the  DHST Commission for the History and Philosophy of Computing (HaPoC) and as Secretary General of the Association Computability in Europe (CiE). His research interests are primarily in Logic and Computation, Philosophy of Computing and Information.