Yoji Nanjo (南條 陽史)
- a graduate student in Tsukuba, Japan
- nanjo [at] logic.cs.tsukuba.ac.jp
- akitsu.sanae [at] gmail.com
Interests
- Type System, Program Verification
- Probabilistic Programming, Quantum Computing
- Rust, OCaml, C++
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]
-
一階不動点論理の循環証明体系とプログラム検証への応用
-