Akira YOSHIMIZU (由水 輝)
About me
I am currently a researcher in ERATO Hasuo Metamathematics for Systems Design (MMSD) project.
My doctral superviser is Ichiro Hasuo.
Research Interests
 Mathematical logic, especially linear logic and Geometry of Interaction
 Programming language semantics
 Computational effects
Papers/Theses

Ugo Dal Lago,
Ryo Tanaka,
and Akira Yoshimizu.
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens.
To appear In Proceedings of the ThirtySecond Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017.

Ugo Dal Lago,
Claudia Faggian,
Benoît Valiron,
and Akira Yoshimizu.
The geometry of parallelism: classical, probabilistic, and quantum effects.
In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of
Programming Languages (POPL) 2017, pages 833845, 2017.

Ugo Dal Lago,
Claudia Faggian,
Benoît Valiron,
and Akira Yoshimizu.
Parallelism and Synchronization in an Infinitary Context.
In Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2015, pages 559572, 2015.

Ugo Dal Lago,
Claudia Faggian,
Ichiro Hasuo,
and Akira Yoshimizu.
The Geometry of Synchronization.
In Proceedings of the Joint Meeting CSLLICS 2014, pages 35:1–35:10, 2014. (long version)

Akira Yoshimizu,
Ichiro Hasuo,
Claudia Faggian,
and Ugo Dal Lago.
Measurements in Proof Nets as HigherOrder Quantum Circuits.
In ESOP, volume 8410 of Lect. Notes Comp. Sci., Springer, pp. 371391, 2014. (extended version)

Akira Yoshimizu.
Geometry of Parallelism: A Uniform Analysis of Evaluation Strategies and Effects by Synchronous Interaction Abstract Machine.
Ph.D. thesis, 2017.

Akira Yoshimizu.
Measurements in Proof Nets as HigherOrder Quantum Circuits. (pdf)
Master thesis, 2014.

Akira Yoshimizu.
On Geometry of Interaction Construction and Its Applications. (pdf)
Bachelor thesis, 2012.
Contact
 Office: ERATO Hasuo Project, Palace Side Building 3F, Hitotsubashi 111,Tokyo 1001003, Japan
 Email: (my surname) at nii.ac.jp