@fwhdzh
目前在中国科学院软件研究所攻读博士学位，主要研究方向为分布式系统验证与测试、模型检查、程序分析。
最近一年贡献：171 次
最长连续贡献：6 日
最近连续贡献：4 日
贡献度的统计数据包括代码提交、创建任务 / Pull Request、合并 Pull Request，其中代码提交的次数需本地配置的 git 邮箱是 Gitee 帐号已确认绑定的才会被统计。
