Yüksek lisans & doktora danışmanlığı

Yüksek lisans & doktora öğrencileri kabul ediyorum

Her yıl sınırlı sayıda lisansüstü öğrenci. Somut bir araştırma yönü, yakın danışmanlık, hakemli mecralarda ortak yazarlı makaleler ve ilk makalenizden savunulmuş bir teze uzanan net bir yol elde edersiniz — yayınlar ENIGMA platformu dergileri ve uluslararası mecralar (IEEE Access, MathAI & SmartCity bildiri kitapları) üzerinden yapılır.

Yolunuz: ~6 ayda ilk makale → konferans sunumu (MathAI / SmartCity) → tez.

Araştırma alanları

Beş araştırma alanı

Matematiksel mantık & hesaplanabilirlik

Polinom hesaplanabilirlik, biçimsel semantik, sabit nokta teoremleri — kendi araştırma programımın üzerine kurulu olduğu temeller.

Yapay zekâ doğrulama & güvenilir yapay zekâ

Biçimsel yöntemler LLM'lerle buluşuyor: doğrulama düzenekleri, atıf denetimi ve bir modele üretim ortamında güvenmek için gerekenler.

Çok etmenli sistemler & AGI mimarileri

Görev tabanlı bilişsel mimariler, koordinasyon protokolleri ve etmen ekonomileri — IEEE Access'te yayımlanan çalışma hattı.

Akıllı şehirler & dijital ikizler

Etmen tabanlı şehir simülasyonu, dijital ikiz yönetişimi ve kentsel-yurttaş zekâsı.

Blokzincir teorisi & biçimsel yöntemler

Blokzincir sistemlerinin aksiyomatizasyonu, doğrulanabilir kayıtlar ve katmanlı bilgi mimarileri.

Bana kısa bir mektup yazın: geçmişiniz ve sizi hangi yönün heyecanlandırdığı.

Aşağıdan başvurun ↓ E-posta ile başvurun →

Başvuru