Takashi SUWA（諏訪 敬之）
I am a 2nd-year master-course student in
Department of Computer Science,
Graduate School of Information Science and Technology,
The University of Tokyo.
My supervisor is
(Last modified: July 23rd, 2017)
- Office: Room 615, Faculty of Science Building 7, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656, Japan.
- Program verification
- Programming languages and their semantics
- Type theory
- Discrete mathematics and combinatorial optimization
- Bachelor of Engineering, The University of Tokyo, March 2016.
All opinions expressed at the websites below are solely my opinions and do not reflect those of the organizations I belong to.