Atsushi Igarashi
Professor at Kyoto University
Kyoto, Kyoto Prefecture, Japan
Summary
👤
Senior🎓
Top SchoolAtsushi Igarashi is a professor of computer science at Kyoto University with 18 years of postdoctoral academic experience focused on the design, principles, and theory of programming languages. His research specialties include type systems, static program analysis, and both object-oriented and functional language design, combining theoretical rigor with practical language implementation. He has progressed through academic ranks at Kyoto University since 2002 and held visiting positions in the US, reflecting a sustained international collaboration footprint. Trained with an MSc and PhD in Information Science from the University of Tokyo, he blends deep formal expertise with a longstanding commitment to educating the next generation of language researchers. An under-the-radar strength is his track record of bridging theoretical type-system advances to analyses that inform real-world language features and tooling.
18 years of coding experience
8 years of employment as a software developer
University of Tokyo
Github Skills (19)
mojo6
translator5
ocaml5
hindley-milner5
verification4
dune4
tex4
model-checking3
tla3
java3
interpreter2
inference2
dynamic-type2
programming-language2
static-analysis2
Programming languages (4)
Github contributions (5)
aigarashi/copl-tools
Mar 2008 - Apr 2021
Contributions:516 commits, 1 push in 13 years 3 months
SoftwareFoundationGroupAtKyotoU/SystemFg
Feb 2017 - Sep 2018
Contributions:141 commits, 5 pushes, 2 branches in 1 year 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.