Keigo Imai -

Registered user since Thu 2 Jun 2016

Name:Keigo Imai

Country:Japan

Affiliation:Gifu University

Personal website:https://keigoimai.info/

Research interests:Concurrency, Behavioural types, Session types, Process calculi, Programming languages

Contributions

FLOPS 2022	Organization Co-chair in Organizing Committee Committee Member in Organizing Committee within the AiDL 2022-track
ML 2021	Author of Verifying Multiparty Communication Protocols using ML Type Systems within the ML 2021-track
SPLASH 2020	Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track
ECOOP 2020	Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track