Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
Atsushi Igarashi

Registered user since Thu 10 Jul 2014

Name: Atsushi Igarashi

Country: Japan

Affiliation: Kyoto University, Japan

Personal website: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

Research interests: Programming languages, Type Systems

Contributions

APLAS 2020 Workshop Chair in Organising Committee
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Show activities from other conferences

APLAS 2020-profile
View general profile