Bimbingan magister & doktoral

Saya menerima mahasiswa magister & doktoral

Jumlah mahasiswa pascasarjana yang diterima setiap tahun terbatas. Anda mendapatkan arah riset yang konkret, bimbingan langsung, artikel yang ditulis bersama di media terbitan peer-review, serta jalur yang jelas dari artikel pertama hingga disertasi yang berhasil dipertahankan — publikasi dilakukan melalui jurnal-jurnal platform ENIGMA dan media internasional (IEEE Access, prosiding MathAI & SmartCity).

Jalur Anda: artikel pertama dalam ~6 bulan → presentasi konferensi (MathAI / SmartCity) → disertasi.

Arah riset

Lima arah riset

Logika matematika & komputabilitas

Komputabilitas polinomial, semantik formal, teorema titik tetap — fondasi tempat program riset saya sendiri berpijak.

Verifikasi AI & AI tepercaya

Metode formal bertemu LLM: perangkat verifikasi, pemeriksaan sitasi, dan apa yang dibutuhkan untuk memercayai sebuah model di lingkungan produksi.

Sistem multi-agen & arsitektur AGI

Arsitektur kognitif berbasis tugas, protokol koordinasi, dan ekonomi agen — lini riset yang dipublikasikan di IEEE Access.

Kota cerdas & kembaran digital

Simulasi kota berbasis agen, tata kelola kembaran digital, dan kecerdasan sipil.

Teori blockchain & metode formal

Aksiomatisasi sistem blockchain, rekaman yang dapat diverifikasi, dan arsitektur pengetahuan berlapis.

Tulis surat singkat kepada saya: latar belakang Anda dan arah riset mana yang paling menarik bagi Anda.

Daftar di bawah ↓ Lamar lewat email →

Pendaftaran