Prof. Dr. Andrea Vestrucci

Andrea Vestrucci (Ph.D., Ph.D.) works on Artificial Intelligence (AI) ethics and epistemology.

1. Concerning AI ethics, Vestrucci’s work focuses on:

1.1. Models of belief representation and belief revision that can meet state-of-the-art standards in applicability, explainability, and expressivity.

1.2. The interaction between AI regulations and AI applications in Smart City projects and communities.

2. Concerning AI epistemology, his work focuses on:

2.1. Computational Philosophy: the exploration and assessment of philosophical arguments in first-order and high-order automatic and interactive theorem provers via universal reasoning infrastructures.

2.2. The epistemological impact of symbolic AI systems, with focus on specific access to limitative metatheorems, and implementation of “a priori” epistemic rules in AI architectures.

In Vestrucci’s research, these topics interconnect with the following questions: the epistemological status of abstract objects (“categories”, “sets”, “god”…); the limits of language and the conditions of a universal language; the notions of dialogue and translation, esp. in multifaith and pluralist settings.

Vestrucci was a Professor of Logic and Ethics at the Federal University in Fortaleza, Brazil, and a Researcher at the Consortium for Interdisciplinary Research, University of California, Berkeley. Currently he is also a Research Professor at the Starr King School, Oakland, California.

He is a recipient of the Australia Award (Australian Ministry of Innovation and Research) and a Laureate of the Academic Society of Geneva, Switzerland.

Is Math the Syntax of Language? "Is mathematics the syntax of language?"