Skip to main content

Dmitry Chistikov

Assistant Professor
Division of Theory and Foundations, Department of Computer Science
Centre for Discrete Mathematics and its Applications (DIMAP)

Office hours in term 3: Tuesdays 15:00–17:00 in CS2.20 (not in week 3). Office hours are also available by appointment (please get in touch by email).


Research interests:
theoretical computer science and verification.


  • [ICALP’18]

    S. Almagor, D. Chistikov, J. Ouaknine, J. Worrell.
    O-minimal invariants for linear loops.

  • [ATVA’18]

    D. Chistikov, A. Murawski, D. Purser.
    Bisimilarity distances for approximate differential privacy.
    (arXiv version)

  • [SIAM J. Applied Algebra and Geometry (2017)]

    D. Chistikov, S. Kiefer, I. Marušić, M. Shirmohammadi, J. Worrell.
    Nonnegative matrix factorization requires irrationality.
    (arXiv version)

  • [ICALP’17]

    D. Chistikov, C. Haase.
    On the complexity of quantified integer programming.

  • [Acta Informatica (2017)]

    D. Chistikov, R. Dimitrova, R. Majumdar.
    Approximate counting in SMT and value estimation for probabilistic programs.

PhD students:
I am delighted to work with

My research is supported in part by
The Royal Society


  • Linear Arithmetic: Geometry, Algorithms, and Logic (course page).

    30th European Summer School in Logic, Language and Information (ESSLLI’18), Sofia, Bulgaria, 6–10 August 2018. Co-taught with Christoph Haase.

  • Model counting for logical theories (course page).

    28th European Summer School in Logic, Language and Information (ESSLLI’16), Bolzano, Italy, 15–19 August 2016. Co-taught with Rayna Dimitrova and sponsored by EACSL.

Event organization

  • 19th International Workshop on Verification of Infinite-State Systems (INFINITY’17).

    Co-located with LICS 2017, the 32nd ACM/IEEE Symposium on Logic in Computer Science. 19 June 2017, Reykjavik, Iceland. Co-organized with Christoph Haase.

Office: room 220, Computer Science

Email: d dot chistikov at warwick dot ac dot uk

Postal address:
Computer Science
University of Warwick

Tel: +44 24 765 73792