Prof
Sanjiang LiProfile page
Professor
A/DRsch Centre for Quantum Software and Information
FUNDED RESEARCH
My research interests are mainly in spatial reasoning and artificial intelligence. The main objective of my research is to establish expressive representation formalism of spatial knowledge and provide effective reasoning mechanisms. This will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographical information systems.
FUNDED RESEARCH
- Showing page 1 out of 1
Showing page 1, funded research 1 to 14 of 14
- 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)
- SCHOLARSHIPSQA Scholarship R3 - A quantum approach to Knowledge Embedding, Reasoning, and Retrieval in Artificial Intelligence. - Srikara ShankaraSydney Quantum Academy1 Jan 2021 - 24 Sep 2024People funded by this grant: Li S, Shankara SSydney Quantum Academy
- SCHOLARSHIPAI meets Quantum: Quantum algorithms for knowledge representation and learning - Student: Guangxi LiSydney Quantum Academy1 Mar 2020 - 31 Dec 2022People funded by this grant: Feng Y, Li S, Li GSydney Quantum Academy
- SCHOLARSHIPEquivalence checking of quantum circuitsSydney Quantum Academy1 Mar 2020 - 31 Dec 2023People funded by this grant: Li S, Ying M, HONG XINSydney Quantum Academy
- CONTRACT RESEARCHAI Meets Quantum: Quantum Algorithms for Knowledge Representation and LearningBeijing Baidu Netcom Science and Technology Co Ltd1 Aug 2018 - 31 Jul 2022People funded by this grant: Feng Y, Li S, Yu NBaidu Contract Research
- GRANTNational Natural Science Foundation of China1 Jan 2017 - 31 Dec 2020People funded by this grant: Li Y, Li S, Li Z, Pan H, Shi H
- GRANTApproximate reasoning with qualitative spatial constraints involving landmarksAustralian Research Council1 Jan 2012 - 31 Dec 2016People funded by this grant: Li S, Renz J, Cohn AARC Discovery Projects - (DP120104159) Qualitative Spatial ReasoningTopological InformationApproximate SolutionQualitative Constraint Satisfaction Problem
- GRANTArtificial intelligence meets wireless sensor networks: filling the gaps between sensors using spatial reasoningAustralian Research Council1 Jan 2012 - 31 Dec 2015People funded by this grant: Li S, Renz J, Duckham MARC Discovery Projects - (DP120103758)
- GRANTSpatial Cognition - Expressive Representation Formalisms and Effective Reasoning MechanismsAustralian Research Council1 Jan 2010 - 31 Dec 2015People funded by this grant: Li S, Zhang CARC Future Fellowships - (FT0990811) Spatial Cognition, Spatial Reasoning, Knowledge Representation and Reasoning, Geographical Information Sciences, Artificial Intelligence,
- GRANTBased on Spatial Knowledge Representation and Reasoning qualitative calculusNational Natural Science Foundation of China1 Jan 2007 - 31 Dec 2009People funded by this grant: Li S
- GRANTTopological spatial knowledge representation and reasoningNational Natural Science Foundation of China1 Jan 2004 - 31 Dec 2006People funded by this grant: Li S
