fwhdzh

@fwhdzh

目前在中国科学院软件研究所攻读博士学位，主要研究方向为分布式系统验证与测试、模型检查、程序分析。