Prof. Dr. Andrea Vestrucci

E-Mail: andrea.vestrucci@uni-bamberg.de

Address: An der Weberei 5, 96047 Bamberg

Office hours: By appointment

Andrea Vestrucci (PhD, PhD) works at the intersection of mathematical logic, formal methods, symbolic AI, and philosophy. His research combines computational and mechanized approaches to logic with formal and philosophical work on trustworthy AI.

He previously served as Professor at the Federal University in Fortaleza, Brazil, and as Researcher at UC Berkeley. He is a Laureate of the Academic Society of Geneva and received the Australia Award from the Australian Ministry of Research and Education.

Research areas

• Mathematical logic and metamathematics
• Formal methods, proof assistants, and mechanized reasoning
• Trustworthy AI and AI governance
• Philosophy of AI, language, and religion 

Current research

• Computational and mechanized approaches to Gödel’s incompleteness theorems, diagonalization, and metamathematics
• Mechanization of non-classical logics, including set-based ceteris paribus reasoning, value ontologies, and agentic and doxastic logics
• Formal rule-based and hybrid approaches to trustworthy AI, with applications to healthcare, Smart City governance, and value-sensitive decision-making
• Philosophical and epistemological issues in AI, including the limits of LLMs in sensitive domains and the relation between computation, reasoning, and trust

Current teaching at the University Bamberg

• Frontier Topics in AI and Philosophy (Vorlesung);
• Ethics and Epistemology of AI (Vorlesung);
• AI Ethics in the Smart City: Trustworthy AI in Healthcare (Seminar);
• Computational Philosophy (Seminar)