การคำนวณได้เชิงพหุนาม อรรถศาสตร์เชิงรูปนัย ทฤษฎีบทจุดตรึง — รากฐานที่โปรแกรมวิจัยของผมตั้งอยู่
เมื่อระเบียบวิธีเชิงรูปนัยมาบรรจบกับ LLM: ชุดเครื่องมือทวนสอบ การตรวจสอบการอ้างอิง และสิ่งที่จำเป็นต่อการไว้วางใจโมเดลในระบบจริง
สถาปัตยกรรมการรู้คิดแบบอิงงาน โพรโทคอลการประสานงาน และเศรษฐกิจของเอเจนต์ — แนวการวิจัยของผลงานใน IEEE Access
การจำลองเมืองแบบอิงเอเจนต์ ธรรมาภิบาลดิจิทัลทวิน และปัญญาเชิงพลเมือง
การจัดระบบสัจพจน์ของระบบบล็อกเชน บันทึกที่ทวนสอบได้ และสถาปัตยกรรมความรู้แบบหลายชั้น