Skip to main contentAll people

ProfMingsheng Ying

Distinguished Professor

School of Computer Science

Orcid identifier0000-0003-4847-702X (opens in a new tab)⁠
  • Distinguished Professor
    School of Computer Science
Want to connect?
Contact us
(opens in a new tab)

FUNDED RESEARCH

Professor Ying's current research focuses on:

  1. Quantum computation – particularly quantum programming and model checking of quantum systems
  2. Programming language theory and formal methods
  3. Foundations of artificial intelligence – including logic and reasoning under uncertainty

FUNDED RESEARCH

  • SCHOLARSHIP
    Toward a Practical Cross-Layer Quantum System Design Framework: From Circuits to Devices - student Yuxuan Hou
    Sydney Quantum Academy30 Sep 2026 - 30 Sep 2030
    People funded by this grant:
    Sydney Quantum Academy - (SQA ID PHDR1302)
  • SCHOLARSHIP
    Developing a Quantum Algorithm Verification Tool through Enhanced Quantum Hoare Logic and Assertion Languages - student Calum Holker
    Sydney Quantum Academy17 Feb 2025 - 16 Feb 2029
    People funded by this grant:
    Sydney Quantum Academy - (SQA ID PHDR 1113)
  • GRANT
    Building the Theoretical Foundation of Refinement Techniques for Quantum Programming
    Australian Research Council1 Jan 2025 - 31 Dec 2027
    People funded by this grant:
    ARC Discovery Projects - (DP250102952)
  • GRANT
    Formal Verification of Quantum Logic Circuits
    Australian Research Council31 Dec 2022 - 30 Dec 2026
    People funded by this grant:
    • Ying M,
    • Rand R,
    • Li S
    ARC Discovery Projects - (DP220102059)
  • SCHOLARSHIP
    Quantum Differential Privacy: A Causal Perspective
    Sydney Quantum Academy1 Aug 2021 - 15 Sep 2025
    People funded by this grant:
    • Li S,
    • Ying M,
    • Zhang Z
    Sydney Quantum Academy - (SQA ID:PHDR04049)
  • GRANT
    Coupling Techniques for Reasoning about Quantum Programs
    Australian Research Council1 Jan 2021 - 31 Dec 2023
    People funded by this grant:
    ARC Discovery Projects - (DP210102449)
  • SCHOLARSHIP
    Equivalence checking of quantum circuits
    Sydney Quantum Academy1 Mar 2020 - 31 Dec 2023
    People funded by this grant:
    • Li S,
    • Ying M,
    • HONG XIN
    Sydney Quantum Academy
  • GRANT
    Joint Research Centre for Quantum Computing - Institute of Software, Chinese Academy of Sciences
    Chinese Academy of Sciences1 Apr 2019 - 1 Apr 2024
    People funded by this grant:
    • Ying M
    Chinese Academy of Sciences
  • GRANT
    The theoretical basis of quantum programming (opens in a new tab)⁠
    National Natural Science Foundation of China1 Jan 2019 - 31 Dec 2023
    People funded by this grant:
    • Ying M,
    • Deng Y,
    • Wei Z,
    • Duan R,
    • Ji Z
    MORELEARN MORE (opens in a new tab)
  • CONTRACT RESEARCH
    Parallel and Distributed Quantum Computing: Algorithms and Programming Models
    Beijing Baidu Netcom Science and Technology Co Ltd1 Oct 2018 - 31 Dec 2022
    People funded by this grant:
    Baidu Contract Research
  • GRANT
    Verification and Analysis of Quantum Programs
    Australian Research Council1 Jan 2018 - 31 Dec 2023
    People funded by this grant:
    • Feng Y,
    • Ying M,
    • Ying M,
    • Chen T,
    • Dal Lago U
    ARC Discovery Projects - (DP180100691)
  • GRANT
    Classification of quantum entanglement beyond partial transpose operation
    University of Technology Sydney11 Jul 2016 - 31 May 2020
    People funded by this grant:
    • Ying M,
    • Yu N
    UTS Chancellor's Research Fellowship
  • GRANT
    Verification of quantum cryptographic protocols: a process algebra approach
    Australian Research Council1 Jan 2016 - 31 Dec 2020
    People funded by this grant:
    • Chen T,
    • Feng Y,
    • Ying M,
    • Zhang L
    ARC Discovery Projects - (DP160101652) Quantum cryptography; Quantum process algebra; Security analysis; Bisimulation
  • GRANT
    Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems
    Australian Research Council1 Jan 2013 - 30 Jun 2017
    People funded by this grant:
    • Feng Y,
    • Ying M,
    • Panangaden P,
    • Zhang L
    ARC Discovery Projects - (DP130102764) Quantum Markov chains,Model checking quantum communication protocols,Quantum temporal logic
  • GRANT
    Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach
    Australian Research Council24 Jan 2011 - 31 Dec 2014
    People funded by this grant:
    • Feng Y,
    • Ying M
    ARC Future Fellowships - (FT100100218) predicate transformer semantics, reasoning about quantum programs, refinement calculus, quantum programming language
  • GRANT
    Process algebra approach to distributed quantum computation and secure quantum communication
    Australian Research Council1 Jan 2011 - 31 Dec 2015
    People funded by this grant:
    • Ying M,
    • Feng Y,
    • Nagarajan R
    ARC Discovery Projects - (DP110103473) process algebra, formal methods, semantics, quantum computation, quantum communication
  • GRANT
    Faithful transmission of quantum information with noisy channels
    University of Technology Sydney21 May 2010 - 21 May 2012
    People funded by this grant:
    • Duan R,
    • Ying M
    UTS ECR Research Capabilities Development Initiative - (UTSECRG10)
  • GRANT
    A new creative approach for quantum theory with implications for the problems of cancer signalling entanglement
    University of Technology Sydney1 Jan 2010 - 31 Dec 2011
    People funded by this grant:
    UTS Challenge Grants - (UTSCG10)
  • GRANT
    Predicate converter semantics on continuous state space
    National Natural Science Foundation of China1 May 2008 - 31 Aug 2008
    People funded by this grant:
    • Ying M
  • GRANT
    Quantum Theory and Methods Software
    National Natural Science Foundation of China1 Jan 2008 - 31 Dec 2011
    People funded by this grant:
    • Ying M
  • GRANT
    Theory and Methods of intelligent information processing
    National Natural Science Foundation of China1 Jan 2007 - 31 Dec 2009
    People funded by this grant:
    • Ying M
  • GRANT
    11th International Fuzzy Systems Association Annual Meeting
    National Natural Science Foundation of China28 Jul 2005 - 15 Nov 2005
    People funded by this grant:
    • Ying M
  • GRANT
    Theory and Methods of intelligent information processing
    National Natural Science Foundation of China1 Jan 2004 - 31 Dec 2006
    People funded by this grant:
    • Ying M
  • GRANT
    Formal methods for randomness
    National Natural Science Foundation of China1 Jan 2003 - 31 Dec 2005
    People funded by this grant:
    • Ying M
  • GRANT
    Theoretical computer science and technology
    National Natural Science Foundation of China1 Jan 1998 - 31 Dec 2001
    People funded by this grant:
    • Ying M