Dr Yuan Feng has been successfully awarded an ARC Future Fellowship.
17 November 2010
The Minister for Innovation, Industry, Science and Research, Senator the Hon Kim Carr, has determined the outcomes of the recent Australian Research Council Future Fellowships scheme round for funding commencing in 2010 . We are very pleased to announce that Dr Yuan Feng has won an ARC Future Fellowship, one of only three won by UTS. Details of his Fellowship are: Project Title: Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach Budget: 2010 $70,748.50 2011 $140,297.50 2012 $140,297.50 2013 $140,297.50 2014 $69,549.00 Project Summary: The project will provide a framework to reason about, and stepwise develop, quantum programs by rigorous predicate transformer semantics, and generate breakthrough theory and frontier techniques for quantum software engineering. The Faculty congratulates Yuan and Xingquan on their outstanding achievements More information about the ARC Future Fellowship awards can be found at: www.arc.gov.au.