What are you looking for?

Primiero, Giuseppe

Primiero, Giuseppe

NIAS-Lorentz Theme-Group Fellow

Foundations of Explanation for the Design of Computational Systems

Research Question

– What properties do transparent algorithmic systems satisfy?

– What does it mean to know the behavior of an algorithmic system?

– Which properties make an algorithmic system safe?

Project Description

My research focuses on formal epistemological and logical foundations of the design of computational systems. My aim is to identify, formulate and check logical properties for algorithmic systems, including those in use in AI platforms. In particular, I am interested in identifying formal characteristics of explainable, transparent and safe AI technologies represented as formal systems. Among the relevant  properties of interest for medical applications,  there are privacy (of patients’ data) and security (of system’s data, in particular with reference to diagnosis and therapy).

Selected Publications

1) G.Primiero, On the Foundations of Computing, OUP, 2020.

2) G.Primiero, A logic of efficient and optimal designs, Journal of Logic and Computation, Volume 29, Issue 6, October 2019, Pages 947–968

3) G.Primiero, F.Raimondi, T.Chen, A theory of change for prioritised resilient and evolvable software systems, Synthese.


Personal page