Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Atsushi Igarashi

Registered user since Thu 10 Jul 2014

Name:Atsushi Igarashi

Atsushi Igarashi is a Professor at Dept. of Communication and Computer Engineering, Graduate School of Informatics, Kyoto University. He received his PhD degree from the University of Tokyo in 2000. His research interest is in principles of programming languages, in particular, type systems and program verification. He received the AITO Dahl-Nygaard Junior Prize in 2011 for his contribution to the foundations of object-oriented languages with his work on Featherweight Java and its extensions.

Affiliation:Kyoto University
Research interests:Programming languages, Type Systems


APLAS 2022 Session Chair of Types (part of APLAS)
SPLASH 2022 Session Chair of Logic and Verification II (part of OOPSLA)
Session Chair of Proofs (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Session Chair of Session 3 (part of V-OOPSLA)
Committee Member in Program Committee within the Doctoral Symposium-track
(I Can't Get No) Verification
Organizer in Program Committe within the CARES-track
GPCE 2022 Session Chair of GPCE Session 2 (part of GPCE )
Committee Member in Program Committee within the GPCE -track
Show activities from other conferences

SPLASH 2022-profile
View general profile