ETAPS 2019 (series) / Koko Muroya
Registered user since Fri 14 Jul 2017
Name: Koko Muroya
Affiliation: RIMS, Kyoto University, JP & University of Birmingham, UK
Personal website: http://www.cs.bham.ac.uk/~kxm538/
Research interests: semantics & program language theory
Contributions
| PERR 2019 | Local Reasoning for Robust Observational Equivalence | ||||||||||||||||||||||||||||||||||||||||
| GaLoP 2019 | Committee Member in Program Committee within the GaLoP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile