Akira YOSHIMIZU (由水 輝)

About me

I am currently a technical assistant in ERATO Hasuo Metamathematics for Systems Design (MMSD) project. My doctral superviser is Ichiro Hasuo.

Research Interests

Papers/Theses

Contact