Prof
Mingsheng YingProfile page
Distinguished Professor
School of Computer Science
FUNDED RESEARCH
Professor Ying's current research focuses on:
- Quantum computation – particularly quantum programming and model checking of quantum systems
- Programming language theory and formal methods
- Foundations of artificial intelligence – including logic and reasoning under uncertainty
FUNDED RESEARCH
- Showing page 1 out of 2
Showing page 1, funded research 1 to 25 of 26
- SCHOLARSHIPDeveloping a Quantum Algorithm Verification Tool through Enhanced Quantum Hoare Logic and Assertion Languages - student Calum HolkerSydney Quantum Academy17 Feb 2025 - 16 Feb 2029People funded by this grant: Ying M, Li SSydney Quantum Academy - (SQA ID PHDR 1113)
- GRANTFormal Verification of Quantum Logic CircuitsAustralian Research Council31 Dec 2022 - 30 Dec 2026People funded by this grant: Ying M, Rand R, Li SARC Discovery Projects - (DP220102059)
- SCHOLARSHIPQuantum Differential Privacy: A Causal PerspectiveSydney Quantum Academy1 Aug 2021 - 15 Sep 2025People funded by this grant: Li S, Ying M, Zhang ZSydney Quantum Academy - (SQA ID:PHDR04049)
- GRANTCoupling Techniques for Reasoning about Quantum ProgramsAustralian Research Council1 Jan 2021 - 31 Dec 2023People funded by this grant: Yu N, Waibel SARC Discovery Projects - (DP210102449)
- SCHOLARSHIPEquivalence checking of quantum circuitsSydney Quantum Academy1 Mar 2020 - 31 Dec 2023People funded by this grant: Li S, Ying M, HONG XINSydney Quantum Academy
- GRANTJoint Research Centre for Quantum Computing - Institute of Software, Chinese Academy of SciencesChinese Academy of Sciences1 Apr 2019 - 1 Apr 2024People funded by this grant: Ying MChinese Academy of Sciences
- GRANTThe theoretical basis of quantum programmingNational Natural Science Foundation of China1 Jan 2019 - 1 Dec 2023People funded by this grant: Ying M
- CONTRACT RESEARCHParallel and Distributed Quantum Computing: Algorithms and Programming ModelsBeijing Baidu Netcom Science and Technology Co Ltd1 Oct 2018 - 31 Dec 2022People funded by this grant: Qiao Y, Ying MBaidu Contract Research
- GRANTVerification and Analysis of Quantum ProgramsAustralian Research Council1 Jan 2018 - 31 Dec 2023People funded by this grant: Feng Y, Ying M, Ying M, Chen T, Dal Lago UARC Discovery Projects - (DP180100691)
- GRANTClassification of quantum entanglement beyond partial transpose operationUniversity of Technology Sydney11 Jul 2016 - 31 May 2020People funded by this grant: Ying M, Yu NUTS Chancellor's Research Fellowship
- GRANTVerification of quantum cryptographic protocols: a process algebra approachAustralian Research Council1 Jan 2016 - 31 Dec 2020People funded by this grant: Chen T, Feng Y, Ying M, Zhang LARC Discovery Projects - (DP160101652) Quantum cryptography; Quantum process algebra; Security analysis; Bisimulation
- GRANTModel-checking quantum Markov chains: towards verification techniques for quantum cryptographic systemsAustralian Research Council1 Jan 2013 - 30 Jun 2017People funded by this grant: Feng Y, Ying M, Panangaden P, Zhang LARC Discovery Projects - (DP130102764) Quantum Markov chains,Model checking quantum communication protocols,Quantum temporal logic
- GRANTReasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approachAustralian Research Council24 Jan 2011 - 31 Dec 2014People funded by this grant: Feng Y, Ying MARC Future Fellowships - (FT100100218) predicate transformer semantics, reasoning about quantum programs, refinement calculus, quantum programming language
- GRANTProcess algebra approach to distributed quantum computation and secure quantum communicationAustralian Research Council1 Jan 2011 - 31 Dec 2015People funded by this grant: Ying M, Feng Y, Nagarajan RARC Discovery Projects - (DP110103473) process algebra, formal methods, semantics, quantum computation, quantum communication
- GRANTFaithful transmission of quantum information with noisy channelsUniversity of Technology Sydney21 May 2010 - 21 May 2012People funded by this grant: Duan R, Ying MUTS ECR Research Capabilities Development Initiative - (UTSECRG10)
- GRANTPredicate converter semantics on continuous state spaceNational Natural Science Foundation of China1 May 2008 - 31 Aug 2008People funded by this grant: Ying M
- GRANTQuantum Theory and Methods SoftwareNational Natural Science Foundation of China1 Jan 2008 - 31 Dec 2011People funded by this grant: Ying M
- GRANTTheory and Methods of intelligent information processingNational Natural Science Foundation of China1 Jan 2007 - 31 Dec 2009People funded by this grant: Ying M
- GRANT11th International Fuzzy Systems Association Annual MeetingNational Natural Science Foundation of China28 Jul 2005 - 15 Nov 2005People funded by this grant: Ying M
- GRANTTheory and Methods of intelligent information processingNational Natural Science Foundation of China1 Jan 2004 - 31 Dec 2006People funded by this grant: Ying M
- GRANTFormal methods for randomnessNational Natural Science Foundation of China1 Jan 2003 - 31 Dec 2005People funded by this grant: Ying M
- GRANTTheoretical computer science and technologyNational Natural Science Foundation of China1 Jan 1998 - 31 Dec 2001People funded by this grant: Ying M
- GRANTAbstract Model Theory and Its Application in Algebra SemanticsNational Natural Science Foundation of China1 Jan 1997 - 31 Dec 1999People funded by this grant: Ying M