Master- & PhD-Betreuung

Ich nehme Master- & PhD-Studierende auf

Jedes Jahr eine begrenzte Zahl von Graduierten. Sie erhalten eine konkrete Forschungsrichtung, enge persönliche Betreuung, gemeinsam verfasste Artikel in begutachteten Publikationsorganen und einen klaren Weg vom ersten Artikel bis zur verteidigten Dissertation — publiziert wird über die Journals der ENIGMA-Plattform und internationale Organe (IEEE Access, Tagungsbände von MathAI & SmartCity).

Ihr Weg: erster Artikel in ~6 Monaten → Konferenzvortrag (MathAI / SmartCity) → Dissertation.

Forschungsrichtungen

Fünf Forschungsrichtungen

Mathematische Logik & Berechenbarkeit

Polynomielle Berechenbarkeit, formale Semantik, Fixpunktsätze — die Grundlagen, auf denen mein eigenes Forschungsprogramm aufbaut.

KI-Verifikation & vertrauenswürdige KI

Formale Methoden treffen auf LLMs: Verifikations-Harnesses, Zitatprüfung und alles, was nötig ist, um einem Modell im Produktivbetrieb zu vertrauen.

Multiagentensysteme & AGI-Architekturen

Aufgabenbasierte kognitive Architekturen, Koordinationsprotokolle und Agentenökonomien — die Forschungslinie der Arbeiten in IEEE Access.

Smart Cities & digitale Zwillinge

Agentenbasierte Stadtsimulation, Governance digitaler Zwillinge und Civic Intelligence.

Blockchain-Theorie & formale Methoden

Axiomatisierung von Blockchain-Systemen, verifizierbare Aufzeichnungen und geschichtete Wissensarchitekturen.

Schreiben Sie mir einen kurzen Brief: Ihr Hintergrund und welche Richtung Sie begeistert.

Unten bewerben ↓ Per E-Mail bewerben →

Bewerbung