Please read our student and staff community guidance on COVID-19
Skip to main content Skip to navigation

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 2: Tuesdays and Wednesdays 10:30–11:30 in CS2.20. 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

Program committee membership:
FoSSaCS’21, ECAI’20, SYNASC’15 (theory track)


  • 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