Atsushi Igarashi

Joined: 07/22/2023

Followers

Following

Prof. at Kyoto University. Research interest in programming languages, in particular, type systems and program verification.

50storms has no public lists

50storms has no activity yet