다항식 계산 가능성, 형식 의미론, 고정점 정리 — 제 연구 프로그램의 토대가 되는 기초 이론입니다.
형식 기법과 LLM의 만남: 검증 하네스, 인용 검증, 그리고 프로덕션 환경에서 모델을 신뢰하기 위해 필요한 것들.
과업 기반 인지 아키텍처, 조정 프로토콜, 에이전트 경제 — IEEE Access 논문으로 이어진 연구 라인입니다.
에이전트 기반 도시 시뮬레이션, 디지털 트윈 거버넌스, 시빅 인텔리전스.
블록체인 시스템의 공리화, 검증 가능한 기록, 계층화된 지식 아키텍처.