Izumi Asakura receives IPSJ Computer Science Research Award for Young Scientists
Izumi Asakura is awarded IPSJ Computer Science Research Award for Young Scientists for his paper presentation on “Proof of soundness of concurrent separation logic for GPGPU in Coq.”