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: Mondays and Thursdays 15:30–16:30 in CS2.20


Research interests:
theoretical computer science and verification.


  • [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 by
The Royal Society


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

    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.

    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. (course page)

Past events (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