Skip to main content Skip to navigation

Dmitry Chistikov

Associate Professor
Theory and Foundations Theme, Department of Computer Science
Centre for Discrete Mathematics and its Applications (DIMAP)

Office hours in term 2 (2022/23): Tuesdays and Wednesdays 9:30–10:30 in CS2.20.


Research interests:
theoretical computer science and verification.

Publications: here.

PhD students:
I am delighted to work with

Some recent invited talks:
Logic and Semantics Seminar @ Cambridge ‘22, YaccConstructor Formal Languages Seminar @ St Petersburg ‘21, 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’23, Highlights’22, YR-CONCUR’22, FSTTCS’21, LICS’21, STACS’21, FoSSaCS’21, ECAI’20, SYNASC’15 (theory track)


  • Demystifying problem solving (mentoring talk; slides here).

    Logic Mentoring Workshop 2022 (LMW’22), co-located with the 30th EACSL Annual Conference on Computer Science Logic (CSL’22), online, hosted at Göttingen, Germany, 14 February 2022.

  • 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