Atsushi Igarashi
教授 / Professor
JapanResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Professor Atsushi Igarashi is a faculty member at Kyoto University in Japan. His research focuses on advanced programming paradigms, including multi-stage programming, algebraic effect handlers, and polymorphic type systems. He has contributed to the development of tools such as Helmholtz, a verifier for Tezos smart contracts, emphasizing his expertise in type abstraction and programming language design.
Articles (6)
Year:
2026
Year:
2024
Year:
2024
Year:
2024
Year:
2022
Year:
2020
Collaborators (5)
Yudai Tanabe
Assistant Professor
Tokyo Institute of Technology
Kohei Suenaga
Kyoto University
Taro Sekiyama
National Institute of Informatics
Takeshi Tsukada
Chiba University
Yuki Nishida
Assistant Professor
Tohoku University
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.