32 点 | 关注 @shinsa82 日本 Shin SAITO 是 IBM Research - 东京的研究员。他的研究兴趣包括基于理论计算机科学的软件/系统的测试、验证和转换。他拥有东京大学的信息科学硕士学位。 开源爱好者 作者