Shunsuke Shimizu (清水駿介)

Now I'm working on industry, twiddling deep artificial neural networks with mathematical reasoning, low-level optimizations and shamanism.

Name

E-mail

let atmark = "@" in
concat ["shunsuke", atmark, "fastmail.jp"]

Research Interests

Greatest and Least Fixed Points
Algebra and Coalgebra
General intention is: to pursue theoretical foundation of modern computer architecture.

Corina Cîrstea, Shunsuke Shimizu, and Ichiro Hasuo.
Parity Automata for Quantitative Linear Time Logics.
CALCO 2017. [doi:10.4230/LIPIcs.CALCO.2017.7] [author copy with appendices] [slide]
Shunsuke Shimizu.
An Automata-Theoretic Approach to Quantitative Model Checking of Coalgebras with Linear Time Logics.
ja: 余代数の線形時間論理による定量的モデル検査へのオートマトン理論的アプローチ．
Master Thesis, 2017.
Natsuki Urabe, Shunsuke Shimizu, and Ichiro Hasuo.
Coalgebraic Trace Semantics for Büchi and Parity Automata.
CONCUR 2016. [doi:10.4230/LIPIcs.CONCUR.2016.24] [author copy at arXiv with appendices]
Ichiro Hasuo, Shunsuke Shimizu, and Corina Cîrstea.
Lattice-theoretic progress measures and coalgebraic model checking.
POPL 2016. [doi:10.1145/2837614.2837673] [author copy at arXiv with appendices]
Shunsuke Shimizu.
Coalgebraic Interpretation of Linear Temporal Logic formulas.
ja: Linear Temporal Logic 論理式の余代数的解釈．
Bachelor Thesis, 2015.

Coalgebra に対する線形時相様相論理によるモデル検査に向けて
CSCAT 2015, Kagoshima, Japan, Mar. 2015. (Oral presentation only.)