注册

负责专业范围为机器人与形式化验证。

擅长专业为机器人形式化验证、嵌入式系统、电子系统可靠性。