Updated 21 January 2019

Mr. Yue Li

Post Graduate Research Student (Sept. 2016 -- ) in Computer Science

Supervisor: Dr. Ekaterina Komendantskaya [web]


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. 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. PARIS 2018: Workshop on Programming And Reasoning on Infinite Structures. University of Oxford. Oxford, England. [pdf] [web]
  2. ARW 2018: Automated Reasoning Workshop. University of Cambridge. Cambridge, England. [pdf] [web]
  3. STP 2017: Scottish Theorem Proving Seminar. University of Glasgow. Glasgow, Scotland. [pdf] [web]


  1. 2018 Woodie Bledsoe Student Travel Award
  2. 2018 Automated Reasoning Workshop Student Grant

Collaboration Authors

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

Internal Technical Reports

  1. 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]
  2. Li, Yue. " Implementing Unification Algorithms in Haskell. " MSc Thesis. University of Dundee. 2015 [pdf] [code]