Coronavirus (Covid-19): Latest updates and information
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:
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 2020), a workshop (collaborative incubator) on automata and cyber-physical systems. Postponed – new dates to be confirmed. 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