Ichiro Hasuo

• National Institute of Informatics
• ichiro [at] is.s.u-tokyo.ac.jp

• English
• Japanese
• Dutch
• Chinese

• Home
• Contact
• Research
• Cv
• Papers
• Talks
• Teaching
• Group

Interested in coming under my supervision? Please first take a look at this.

2024

• Mathematical Structures in Formal Methods (SOKENDAI/NII, Graduate, in English)

2022

• Mathematical Structures in Formal Methods (SOKENDAI/NII, Graduate, in English)

2020

• Mathematical Structures in Formal Methods (SOKENDAI/NII, Graduate, in English)

2019

• Formal Methods for Cyber-Physical Systems (SOKENDAI/NII, Graduate, in English)

2018

• Formal Language Theory (University of Tokyo, Undergraduate, in Japanese)
• Mathematical Structures in Formal Methods (SOKENDAI/NII, Graduate, in English)

2017

• Formal Language Theory (University of Tokyo, Undergraduate, in Japanese)

2016

• Information Logic (Undergraduate, in Japanese)
• Applied Logic (Undergraduate, in Japanese)
• Formal Language Theory (Undergraduate, in Japanese)
• Mathematical Semantics of Computer Systems
  (For graduate students, autumn semester)

Previous Years

Click me!