用户：Colm Bhandal

目前在理论计算机科学领域工作的博士生。具体领域是将形式化方法应用于实时自治代理系统，以证明协议的安全性。