Saya bekerja di persimpangan logika matematika, verifikasi AI, dan desain sistem berskala besar. Tesis inti saya: lingkungan tempat AI kini mengambil keputusan — kota, pemerintahan, sistem multi-agen otonom — membutuhkan lapisan independen dan terverifikasi yang memeriksa apa yang dihasilkan AI, sebagaimana auditor memeriksa pembukuan perusahaan.
Latar belakang saya adalah logika matematika dan pemrograman semantik — karya tentang teorema titik tetap gaya Gandy, masalah P = L, dan representasi terkomputasi-polinomial dari sistem formal. Dari sana saya beralih ke infrastruktur AI terapan: metode AI tepercaya yang memadukan large language model dengan logika formal, dan mesin verifikasi ENIGMA Axiom yang menerapkan metode-metode tersebut.
Saat ini saya menjadi penasihat bagi organisasi yang membangun AI berisiko tinggi — melalui IAIC FZCO di Dubai — dan saya menyelenggarakan konferensi (MathAI, SmartCity, acara IAIC) serta inisiatif editorial yang menghimpun komunitas riset seputar AI tepercaya.
P = L, analog polinomial dari teorema titik tetap Gandy, representasi terkomputasi-polinomial.
Memadukan LLM dengan sistem logika formal; pemeriksaan formal + faktual atas keluaran model (ENIGMA Axiom).
Kota virtual, digital twin, dan masyarakat AI otonom pada skala kota.
Arsitektur kognitif berbasis tugas; AI + rekaman terverifikasi untuk efisiensi pemerintahan dan kecerdasan sipil.
Saya menjadi penasihat bagi organisasi yang membangun AI berisiko tinggi — difakturkan melalui IAIC FZCO, Dubai.
Lihat layanan & pesan konsultasi →