E-Mail: andrea.vestrucci@uni-bamberg.de
Anschrift: An der Weberei 5, 96047 Bamberg
Sprechzeiten: Nach Vereinbarung
Andrea Vestrucci (PhD, PhD) arbeitet an der Schnittstelle von mathematischer Logik, formalen Methoden, symbolischer KI und Philosophie. Seine Forschung verbindet computergestützte und mechanisierte Ansätze der Logik mit formalen und philosophischen Arbeiten zu vertrauenswürdiger KI.
Zuvor war er als Professor an der Bundesuniversität in Fortaleza (Brasilien) sowie als Forscher an der UC Berkeley tätig. Er ist Preisträger der Académie de Genève und erhielt den „Australia Award“ des australischen Ministeriums für Forschung und Bildung.
Forschungsgebiete
- Mathematische Logik und Metamathematik
- Formale Methoden, Beweisassistenten und mechanisiertes Schließen
- Vertrauenswürdige KI und KI-Governance
- Philosophie der KI, der Sprache und der Religion
Aktuelle Forschung
- Computergestützte und mechanisierte Ansätze zu Gödels Unvollständigkeitssätzen, Diagonalisierung und Metamathematik
- Mechanisierung nicht-klassischer Logiken, einschließlich mengenbasierter Ceteris-paribus-Schlüsse, Wertontologien sowie agentischer und doxastischer Logiken
- Formale, regelbasierte und hybride Ansätze für vertrauenswürdige KI, mit Anwendungen in den Bereichen Gesundheitswesen, Smart-City-Governance und wertsensible Entscheidungsfindung
- Philosophische und erkenntnistheoretische Fragestellungen der KI, einschließlich der Grenzen von LLMs in sensiblen Anwendungsfeldern sowie des Verhältnisses zwischen Berechnung, Schlussfolgern und Vertrauen
Aktuelle Lehre an der Universität 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)
