बहुपदीय अभिकलनीयता, औपचारिक शब्दार्थ, स्थिर-बिंदु प्रमेय — वे आधार जिन पर मेरा अपना शोध कार्यक्रम टिका है।
औपचारिक विधियाँ मिलती हैं LLM से: सत्यापन ढाँचे, उद्धरण जाँच, और उत्पादन में किसी मॉडल पर भरोसा करने के लिए जो कुछ चाहिए।
कार्य-आधारित संज्ञानात्मक आर्किटेक्चर, समन्वय प्रोटोकॉल और एजेंट अर्थव्यवस्थाएँ — IEEE Access की शोध-पंक्ति।
एजेंट-आधारित नगर सिमुलेशन, डिजिटल-ट्विन शासन और नागरिक बुद्धिमत्ता।
ब्लॉकचेन प्रणालियों का अभिगृहीतीकरण, सत्यापन-योग्य अभिलेख और स्तरित ज्ञान आर्किटेक्चर।