Search results
May 25, 2022 · I am a Professor at Dept. of Communication and Computer Engineering, Graduate School of Informatics, Kyoto University. I received my B.S., M.S., and D.S. (equivalent to PhD in the Japanese system) degrees from Department of Information Science, University of Tokyo in 1995, 1997, and 2000, respectively.
Articles 1–20. Professor, Graduate School of Informatics, Kyoto University - Cited by 4,012 - Theoretical Computer Science - Programming Languages - Type Theory.
東京大学理学部情報科学科1995年卒業， 同大学院理学系研究科情報科学専攻修士・博士課程をそれぞれ1997・2000年に修了， 修士・博士 (理学)の学位取得． 2000.4 - 2002.3: 東京大学大学院総合文化研究科広域科学専攻広域システム科学系助手． 2002.4 - 2006.3: 京都 ...
Atsushi IGARASHI, Professor (Full) | Cited by 2,948 | of Kyoto University, Kyoto (Kyodai) | Read 115 publications | Contact Atsushi IGARASHI
May 25, 2022 · Atsushi Igarashi's Paper List. Papers and Talks. Notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis.
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.
Atsushi Igarashi Kyoto University, Kyoto, Japan March 2021 Tools and Algorithms for the Construction and Analysis of Systems https://doi.org/10.1007/978-3-030-72013-1_14
