‹Programming› 2023
Mon 13 - Fri 17 March 2023 Tokyo, Japan
Atsushi Igarashi

Registered user since Thu 10 Jul 2014

Name:Atsushi Igarashi
Bio:

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.

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

Contributions

‹Programming› 2023 Committee Member in Program Committee within the Research Papers-track
Publicity Co-Chair in Organizing Committee
QP 2023 Committee Member in Program Committee within the QP2023-track
Show activities from other conferences

Using general profile