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 1: Wednesdays and Fridays 10:15–11:15 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.

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

Tel: +44 24 765 73792