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 Thirty-Second 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 833--845, 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 559-572, 2015.
-
Ugo Dal Lago,
Claudia Faggian,
Ichiro Hasuo,
and Akira Yoshimizu.
The Geometry of Synchronization.
In Proceedings of the Joint Meeting CSL-LICS 2014, pages 35:1–35:10, 2014. (long version)
-
Akira Yoshimizu,
Ichiro Hasuo,
Claudia Faggian,
and Ugo Dal Lago.
Measurements in Proof Nets as Higher-Order Quantum Circuits.
In ESOP, volume 8410 of Lect. Notes Comp. Sci., Springer, pp. 371-391, 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 Higher-Order 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 1-1-1,Tokyo 100-1003, Japan
- Email: (my surname) at nii.ac.jp