ARC Grants

ARC Discovery Projects Grant (2009-2011)
Dongmo Zhang, Yan Zhang, Norman Foo and Michael Thielscher
Project: Logical Foundation and Implementation Technology for Automated Negotiation

ARC Discovery Projects Grant (2009-2011)
Yan Zhang
Project: Model Update with Localisation, Constraints and Abstraction

ARC Linkage Projects Grant (2008-2011)
Yan Zhang, Dongmo Zhang and Weiyuan Wang
Project: Developing Sophisticated e-Business Automation

ARC Discovery Projects Grant (2006-2008)
Yan Zhang, Abhaya Nayak, Kewen Wang and Fangzhen Lin
Project: Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems

ARC Discovery Projects Grant (2005-2007)
Yan Zhang, Mehmet Orgun, Abhaya Nayak, Yi Mu and Feng Bao
Project: Knowledge Based Model Updating for the Correctness of Security Protocols

ARC Linkage Projects Grant (2003-2005)
Yan Zhang and Weiyuan Wang
Project: Integrating Model Checking and Knowledge Dynamics for System Verification

ARC Large Grant (1998-2000)
Vijay Varadharajan and Yan Zhang
Project: Investigating Knowledge Dynamics in Secure Computer Systems

ARC Large Grant (1996-1998)
Norman Foo and Yan Zhang
Project: Causality in the Logic of Actions

UWS Grants

UWS IRIS Grant (2007)
Dongmo Zhang

UWS Grant Scheme (2007-2008)
Yun Bai and Yan Zhang

UWS Grant Scheme (2006-2007)
Dongmo Zhang

UWS IRIS Grant (2006)
Yan Zhang

UWS IRIS Grant (2005)
Yan Zhang

UWS Grant Scheme (2005-2006)
Yan Zhang and Yun Bai