Ich arbeite an der Schnittstelle von mathematischer Logik, KI-Verifikation und dem Entwurf großskaliger Systeme. Meine Kernthese: Die Umgebungen, in denen KI heute Entscheidungen trifft — Städte, Regierungen, autonome Multi-Agenten-Systeme — brauchen eine unabhängige, verifizierbare Schicht, die prüft, was die KI produziert, so wie ein Wirtschaftsprüfer die Bücher eines Unternehmens prüft.
Mein Hintergrund liegt in mathematischer Logik und semantischer Programmierung — Arbeiten zu Fixpunktsätzen im Stil von Gandy, dem Problem P = L und polynomiell berechenbaren Repräsentationen formaler Systeme. Von dort bin ich zur angewandten KI-Infrastruktur gewechselt: Methoden für vertrauenswürdige KI, die große Sprachmodelle mit formaler Logik verbinden, und die Verifikations-Engine ENIGMA Axiom, die diese Methoden in die Praxis bringt.
Heute berate ich Organisationen, die KI mit hohen Einsätzen bauen — über IAIC FZCO in Dubai — und organisiere Konferenzen (MathAI, SmartCity, IAIC-Events) und editoriale Initiativen, die die Forschungsgemeinschaft rund um vertrauenswürdige KI zusammenbringen.
P = L, polynomielle Analoga von Gandys Fixpunktsatz, polynomiell berechenbare Repräsentationen.
Kombination von LLMs mit formalen Logiksystemen; formale + faktische Prüfung von Modellausgaben (ENIGMA Axiom).
Virtuelle Städte, digitale Zwillinge und autonome KI-Gesellschaften im Stadtmaßstab.
Aufgabenbasierte kognitive Architekturen; KI + verifizierbare Register für Verwaltungseffizienz und Civic Intelligence.
Ich berate Organisationen, die KI mit hohen Einsätzen bauen — fakturiert über IAIC FZCO, Dubai.
Beratung ansehen & Konsultation buchen →