Currently I’m working outside academia.
Until March 2020, I was a researcher at National Institute of Informatics (Tokyo, Japan), engaged in the ERATO MMSD project led by Ichiro Hasuo.
Previously, I was a PhD student at Radboud University (Nijmegen, The Netherlands) under the supervision of Bart Jacobs, on his ERC project Quantum Computation, Logic, and Security. Before that, I obtained my bachelor’s and master’s degrees in computer science at the University of Tokyo, supervised by Ichiro Hasuo.
Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory
With Bas Westerbaan and John van de Wetering.
In Proc. QPL 2020, EPTCS 340, pp. 91-113, 2021.
doi:10.4204/EPTCS.340.5 [ link | arXiv ]
Effectuses in Categorical Quantum Foundations
PhD thesis, Radboud Unviersity, supervised by Bart Jacobs.
Defended on 8th October 2019.
hdl:2066/207521 [ arXiv | pdf | errata ]
Disintegration and Bayesian Inversion via String Diagrams
With Bart Jacobs.
In Mathematical Structures in Computer Science, Volume 29, Issue 7, pp. 938-971, 2019.
doi:10.1017/S0960129518000488 [ arXiv | pdf ]
The EfProb Library for Probabilistic Calculations
With Bart Jacobs.
In Proc. CALCO 2017, LIPIcs 72, pp. 25:1-25:8, 2017 (CALCO Tools session).
doi:10.4230/LIPIcs.CALCO.2017.25 [ pdf | EfProb site ]
Coinductive Predicates and Final Sequences in a Fibration
With Ichiro Hasuo and Toshiki Kataoka.
In Mathematical Structures in Computer Science, Volume 28, Issue 4, pp. 562-611, 2018.
doi:10.1017/S0960129517000056 [ pdf ]
(Extended version of the MFPS XXIX paper)
Kleisli Semantics for Conditioning in Probabilistic Programming
With Bart Jacobs. Preprint, 2017. [ pdf ]
Duplicable von Neumann Algebras
With Abraham Westerbaan. Preprint, 2016. [ pdf | arXiv ]
Semantics for a Quantum Programming Language by Operator Algebras
In New Generation Computing, Volume 34, Issue 1, pp. 25-68, 2016.
doi:10.1007/s00354-016-0204-3 [ pdf ]
(Extended version of the QPL 2014 paper)
Von Neumann Algebras form a Model for the Quantum Lambda Calculus
With Abraham Westerbaan. Preprint, 2016. [ arXiv ]
Presented at QPL 2016.
An Introduction to Effectus Theory
With Bart Jacobs, Bas Westerbaan and Abraham Westerbaan. Preprint, 2015. [ arXiv ]
Total and Partial Computation in Categorical Quantum Foundations
In Proc. QPL 2015, EPTCS 195, pp. 116-135, 2015.
doi:10.4204/EPTCS.195.9 [ link | pdf ]
Quotient-Comprehension Chains
With Bart Jacobs, Bas Westerbaan and Bram Westerbaan.
In Proc. QPL 2015, EPTCS 195, pp. 136-147, 2015.
doi:10.4204/EPTCS.195.10 [ link | pdf ]
Semantics for a Quantum Programming Language by Operator Algebras
In Proc. QPL 2014, EPTCS 172, pp. 165-190, 2014.
doi:10.4204/EPTCS.172.12 [ link | pdf ]
Coinductive Predicates and Final Sequences in a Fibration
With Ichiro Hasuo, Toshiki Kataoka and Bart Jacobs.
In Proc. MFPS XXIX, ENTCS 298, pp. 197-214, Elsevier, 2013.
doi:10.1016/j.entcs.2013.09.014 [ pdf (with appendix) ]
The EfProb Library for Probabilistic Calculations
CALCO Tools 2017, Ljubljana, Slovenia. June 2017. [ slides ]
Von Neumann Algebras Form a Model for the Quantum Lambda Calculus
QPL 2016, Glasgow, Scotland. June 2016. [ slides | short contribution ]
Total and Partial Computation in Categorical Quantum Foundations
QPL 2015, Oxford, UK. July 2015. [ slides | video ]
Semantics for a Quantum Programming Language by Operator Algebras
QPL 2014, Kyoto, Japan. June 2014. [ slides | video ]
Coalgebraic Fixed Point Logics in a Fibration
CALCO Early Ideas 2013, Warsaw, Poland. September 2013.
[ slides | short contribution ]