同机构人员：

• 刘杨
  刘杨，博士，新加坡南洋理工大学计算机学院助理教授。主要从事软件工程和系统安全方向的研究。长期致力于系统正确性，可靠性和安全性的自动检测。带领开发了PAT模型检测工具，支持并发，实时和概率系统的验证。P......