PhD Students

  • Kristjan Liiva, University of Edinburgh (2013-). Co-supervised with Dr Paul B. Jackson, Edinburgh.

    Kristjan is working on decision methods in real algebra and analysis, with a special interest in the design and application of SMT-oriented decision procedures for nonlinear real arithmetic. In July, 2014, he will begin receiving support from Microsoft Research, Cambridge, with Christoph Wintersteiger as his MSR mentor.

Recent Taught or Supervised Courses


    . .
    : ::.
    : ::::.

{Expository notes}

Sums of Squares Positivstellensatzen Methods Explained: Part I

Understanding Algebro-Geometric Quantifier Elimination: Part I, Algebraically Closed Fields of Characteristic Zero via Muchnik