Yoji Nanjo (南條 陽史)
Affiliation
Interests
Publications
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
  • Yoji Nanjo, Hiroshi Unno, Eric Koskinen, and Tachio Terauchi
  • In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), ACM, pp. 759-768, Oxford, UK, July, 2017.
  • [short version PDF] [slides PDF]
Thesis
値依存時相仕様検証のための型システム
  • 南條 陽史, 海野 広志, Eric Koskinen, 寺内 多智弘
  • 平成29年度 筑波大学情報メディア創成学類 卒業研究論文
  • [paper] [slide]
Other Talks
Dependent Temporal Effects and Fixpoint Logic for Verification
  • Yoji Nanjo, Hiroshi Unno, Eric Koskinen, and Tachio Terauchi
  • PPL 2018 カテゴリ3 ポスター発表
  • [poster]
一階不動点論理の循環証明体系とプログラム検証への応用
Informal Talks
Teaching Experiences
Contacts