Khả năng tính toán đa thức, ngữ nghĩa hình thức, các định lý điểm bất động — nền tảng mà chương trình nghiên cứu của chính tôi dựa trên.
Nơi các phương pháp hình thức gặp gỡ LLM: khung kiểm chứng, kiểm tra trích dẫn, và những gì cần có để tin tưởng một mô hình trong môi trường vận hành thực tế.
Kiến trúc nhận thức dựa trên nhiệm vụ, giao thức phối hợp và nền kinh tế tác tử — hướng nghiên cứu của công trình trên IEEE Access.
Mô phỏng đô thị dựa trên tác tử, quản trị bản sao số và trí tuệ đô thị.
Tiên đề hóa các hệ thống blockchain, hồ sơ có thể kiểm chứng và kiến trúc tri thức phân tầng.