Updated 19 October 2019

Mr Yue Li


Dependable Systems Group [web]
School of Mathematical and Computer Sciences [web]
Heriot-Watt University [web]

Work Address

Earl Mountbatten Building 1.54
Heriot-Watt University
Edinburgh, United Kingdom
Post code: EH14 4AS

Google Scholar




  1. Komendantskaya, Ekaterina and Li, Yue. " Productive corecursion in logic programming." TPLP 17 (2017): 906-923. [doi]


  1. Basold, Henning and Komendantskaya, Ekaterina and Li, Yue. " Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses." 28th European Symposium on Programming (ESOP), 8-11 April 2019, Prague [web] [arXiv] [doi]


  1. Li, Yue and Komendantskaya, Ekaterina. " Coinductive Uniform Proofs: An Extended Abstract. " PARIS 2018: Workshop on Programming And Reasoning on Infinite Structures [pdf] [web]
  2. Komendantskaya, Ekaterina and Li, Yue. " Towards Coinductive Theory Exploration in Horn Clause Logic: Extended Abstract." HCVS 2018: The 5th Workshop on Horn Clauses for Verification and Synthesis. [pdf] [web]
  3. Li, Yue. " Models of Coinductive First-order Horn Clauses. " ARW 2018: The 25th Automated Reasoning Workshop [pdf] [web]
  4. Li, Yue. " Structural Resolution with Co-inductive Loop Detection. " CoALP-Ty 2016: Workshop on Coalgebra, Horn Clause Logic Programming and Types. [pdf] [doi] [code]



  1. ICLP 2017: The 33rd International Conference on Logic Programming. Melbourne, Australia. [pdf] [web]


  1. VeTSS 2019: Verified Software Workshop. Isaac Newton Institute for Mathematical Sciences, Cambridge, UK. [poster] [web]
  2. HWUCS 2019: Computer Science Seminar Series. Heriot-Watt University. Edinburgh, Scotland. [web]
  3. PARIS 2018: Workshop on Programming And Reasoning on Infinite Structures. University of Oxford. Oxford, England. [pdf] [web]
  4. ARW 2018: Automated Reasoning Workshop. University of Cambridge. Cambridge, England. [pdf] [web]
  5. STP 2017: Scottish Theorem Proving Seminar. University of Glasgow. Glasgow, Scotland. [pdf] [web]


  1. 2019 Verified Software Workshop Student Travel Grant
  2. 2018 Woodie Bledsoe Student Travel Award
  3. 2018 Automated Reasoning Workshop Student Grant

Collaboration Authors

  1. Dr. Ekaterina Komendantskaya [web]
  2. Dr. Henning Basold [web]

Reports and Theses

  1. Li, Yue. " A Proof-Theoretic Approach to Coinduction in Horn Clause Logic. " PhD Thesis. Heriot-Watt University. September 2019 [pdf]
  2. Li, Yue. " Coinductive Uniform Proof. " PhD 2nd Year Technical Report. Heriot-Watt University. 2018 [pdf]
  3. Li, Yue. " Comparative Study of Search Strategies for Term-Matching and Unification Based Resolution in Prolog. " CoALP Project Report. Heriot-Watt University. 2017 [pdf] [code] [web]
  4. Li, Yue. " Implementing Unification Algorithms in Haskell. " MSc Thesis. University of Dundee. 2015 [pdf] [code]