ICFP/SPLASH 2025 (series) / Keigo Imai
Registered user since Thu 2 Jun 2016
Name:Keigo Imai
Country:Japan
Affiliation:DeNA Co., Ltd.
Personal website: https://keigoimai.info/
X (Twitter): https://x.com/keigoi
GitHub: https://github.com/keigoi
Research interests:Concurrency, Behavioural types, Session types, Process calculi, Programming languages
Contributions
Using general profile