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 3: please email.


Research interests:
theoretical computer science and verification.

Publications: here.

PhD students:
I am delighted to work with

Some recent invited talks:
LaBRI @ Bordeaux ‘21, Kolmogorov seminar @ Moscow ‘21, YR-OWLS’20, Highlights’19, ACTS’17, INFINITY’16.

My research has been supported in part by
The Royal Society

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


  • Ultimately periodic sets, semi-linear sets, and Presburger arithmetic (slides and video here).

    14th Summer School on Modelling and Verification of Parallel Processes (MOVEP’20), online, based at Grenoble, France, 22–26 June 2020.

  • 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

  • Automata in the Wild (WILD 2021), a workshop (collaborative incubator) on automata and cyber-physical systems. Online. 21–23 April 2021. Co-organized with Rayna Dimitrova.
  • 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