ARC Grants

QSI Led ARC Grants

Future Fellowships (FT)

The Future Fellowships Scheme provides four year fellowships to outstanding Australian mid-career researchers to undertake high quality research in areas of national and international benefit.

Simulating complexity: ultrastrong interactions in superconducting circuits (FT170100399)
Investigator: A/Prof Nathan Langford
Dates: Dec 2017 to Dec 2023

Secure quantum computing in a distributed world (FT160100397)
Investigator: Dr Peter Rohde
Dates: Jan 2017 to Dec 2020

Foundations of quantum cryptography for distribution of secret keys (FT140100574)
Investigator: A/Prof Min-Hsiu Hsieh
Dates: Aug 2014 to Aug 2018

Supra-classical quantum simulation in physically restricted models of quantum computation (FT110101044)
Investigator: Prof Michael Bremner
Dates: May 2012 to Dec 2017

A mathematical foundation and novel solutions for highly secure communications (FT120100449)
Investigator: A/Prof Runyao Duan
Dates: Aug 2012 to Dec 2017

Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach (FT100100218)
Investigator: Prof Yuan Feng
Dates: Jan 2011 to Dec 2014

Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms (FT160100397)
Investigator: Prof Sanjiang Li
Dates: Jan 2010 to Dec 2015

DECRAs

The Discovery Early Career Researcher Award (DECRA) scheme provides research support for outstanding early career researchers

Quantum property testing-a fundamental technology for quantum big data (DE180100156)
Investigator: A/Prof Nengkun Yu
Dates: Jan 2018 to Dec 2021

Using quantum artificial intelligence to bootstrap a quantum computer (DE170100421)
Investigator: A/Prof Christopher Ferrie
Dates: Feb 2017 to Feb 2020

Enhancing Communication using Small Quantum Devices (DE160100821)
Investigator: A/Prof Marco Tomamichel
Dates: Jan 2016 to June 2019

Testing Isomorphism of Algebraic Structures (DE150100720)
Investigator: A/Prof Youming Qiao
Dates: Jan 2015 to Dec 2018

Discovery Projects (DP)

The Discovery Project Scheme (DP) funds individual researchers or research teams to undertake research which promises to expand knowledge base and research capacity in Australia, with economic, commercial, environmental, social and/or cultural benefits.

Formal Verification of Quantum Logic Circuits (DP220102059)
QSI Investigators: Prof Yuan Feng (CI); Prof Sanjiang Li (CI)
Dates: Jan 2022 to Dec 2024

Pushing the digital limits in quantum simulation for advanced manufacturing (DP210101367)
QSI Investigators: A/Prof Nathan Langford (CI)
Dates: Nov 2021 to Oct 2024

Coupling Techniques for Reasoning about Quantum Programs (DP210102449)
QSI Investigators: A/Prof Nengkun Yu (CI)
Dates: Jan 2021 to Nov 2022

Quantum computation: through the algorithm and complexity theory lens (DP200100950)
QSI Investigators: Prof Zhengfeng Ji (CI); A/Prof Troy Lee (CI); A/Prof Youming Qiao (CI)
Dates: Jan 2020 to Dec 2023

Verification and analysis of quantum programs (DP180100691)
QSI Investigators: Prof Yuan Feng (CI); Prof Mingsheng Ying (CI)
Dates: Jan 2018 to Dec 2023

Verification of quantum cryptographic protocols: a process algebra approach (DP160101652)
QSI investigators: Prof Mingsheng Ying (CI); Prof Yuan Feng (CI)
Dates: Jan 2016 to Dec 2020

Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems (DP130102764)
QSI Investigators: Prof Yuan Feng (CI); Prof Mingsheng Ying (CI)
Dates: Jan 2013 to June 2017

Approximate reasoning with qualitative spatial constraints involving landmarks (DP120104159)
QSI Investigators: Prof Sanjiang Li (CI)
Dates: Jan 2012 to Dec 2016

Quantum effects in zero-error communication (DP120103776)
QSI Investigators: Prof Runyao Duan (CI)
Dates: Jan 2012 to Dec 2016

Process algebra approach to distributed quantum computation and secure quantum communication (DP110103473)
QSI Investigators: Prof Mingsheng Ying (CI); Prof Yuan Feng (CI)
Dates: Jan 2011 to Dec 2015

QSI Collaborative ARC Grants

Cryptographic Group Actions and Their Applications (LP220100332)
QSI Investigators: A/Prof Youming Qiao (CI)
Organisations: University of Wollongong; University of Technology Sydney; KDDI Research Inc.; CYBERFLARE
Dates: Jan 2023 to Dec 2025

Multifunctional deposition system for advanced superconducting circuits (LE210100040)
QSI Investigators: A/Prof Nathan Langford (CI); A/Prof Simon Devitt (CI); Dr Maria Kieferova (CI)
Organisations: The University of Sydney; University of Technology Sydney; The University of New South Wales; Macquarie University; RMIT University
Dates: July 2021 to Dec 2023

ARC Centre of Excellence for Quantum Computation and Communication Technology (CE170100012)
QSI Investigators: Prof Michael Bremner (CI)
Organisations: The University of New South Wales; The University of Melbourne; The Australian National University; RMIT University; University of Technology Sydney; The University of Queensland; Griffith University; University of Waterloo, Canada; University of Oxford, UK; National University of Singapore; University of Paris 6, Pierre and Marie Curie; University of Tokyo; University of Paderborn, Germany; Free University of Berlin, Germany; University of Mainz, Germany; University of Cambridge, UK; University of Sherbrooke; University of Virginia; Imec; Scienta Omicron; University of Otago, NZ; Zyvex; Commonwealth Bank of Australia; QUINTESSENCELABS PTY LTD; Defence Science and Technology Group; National Institute of Informatics; Max Planck Institute for the Science of Light; University of Bristol, UK; Purdue University, West Lafayette, USA; University of Wisconsin, Madison; NASA Ames Research Center
Dates: June 2018 to May 2025