Takashi SUWA（諏訪 敬之）

I am a 2nd-year master-course student in KOBAYASHI Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo. My supervisor is Naoki Kobayashi.

(Last modified: July 23rd, 2017)

Contact

• Office: Room 615, Faculty of Science Building 7, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656, Japan.
• E-mail: suwa[at]kb.is.s.u-tokyo.ac.jp

Refereed Publications

• Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi and Atsushi Igarashi. Verification of code generators via higher-order model checking. Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. pp. 59–70, 2017.
  • Long version
  • Slides
  • Benchmark programs

Talks

• Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi and Atsushi Igarashi. Verification of code generators via higher-order model checking. 第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017), 2017.
• 平井 広志，諏訪 敬之．推論システムによるマトロイドの表現について．日本応用数理学会 第12回 研究部会連合発表会，2016.

Research Interests

• Program verification
• Programming languages and their semantics
• Type theory
• Discrete mathematics and combinatorial optimization

Education

• Bachelor of Engineering, The University of Tokyo, March 2016.

Non-academic Activities

All opinions expressed at the websites below are solely my opinions and do not reflect those of the organizations I belong to.

• GitHub: gfngfn