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 1: Tuesdays 13:00–14:00 (starting week 2) and Wednesdays 14:00–15:30 (starting week 3) in CS2.20. Office hours are also available by appointment (please get in touch by email).

Research

Research interests:
theoretical computer science and verification.

Publications:

  • [ICALP’18]

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

  • [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.
    (pdf)

  • [Acta Informatica (2017)]

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

PhD students:
I am delighted to work with

Funding:
My research is supported in part by
The Royal Society

Teaching

  • 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.

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
COVENTRY
CV4 7AL
UNITED KINGDOM

Tel: +44 24 765 73792