社区概况

照片

Ioannis Filippidis


加州理工学院的

自2012年以来活跃

联系

http://www.caltech.edu/ ifilippi
合成的分布式系统正式保证正确性。

统计数据

所有
  • 个人最好下载3级
  • 第一次审查
  • 五星级星系5级
  • GitHub提交2级
  • 第一次提交
  • 知识渊博的一级
  • 第一个回答

视图徽章

内容提要

视图
没有活动