多項式可計算性、形式語意、不動點定理——我自身研究綱領所依託的理論基礎。
形式化方法與 LLM 的結合:驗證框架、引用查核,以及在生產環境中信任模型所需的一切。
基於任務的認知架構、協調協定與代理人經濟——即 IEEE Access 論文所屬的研究方向。
基於代理人的城市模擬、數位孿生治理與城市公共智能。
區塊鏈系統的公理化、可驗證紀錄與分層知識架構。
在下方申請 ↓ 透過電子郵件申請 →