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

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)

• more

PhD students:
I am delighted to work with

• David Purser (co-supervised with Andrzej Murawski and Graham Cormode)

Funding:
My research is supported in part by

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

Teaching

• CS260 Algorithms (term 1 in 2017/18, 2018/19, and 2019/20).

• 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

• Autobóz’19, an international research camp on logic, automata, and games. Firbush, Scotland, 12–19 July 2019. Co-organized with Michaël Cadilhac and Patrick Totzke.

• 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