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)


Research interests:
theoretical computer science and verification.

Publications: here.

PhD students:
I am delighted to work with

Some recent invited talks:
World Logic Day @ Oxford ‘24, MPI-SWS ‘23, WORReLL’23, IMDEA Software Institute ‘22, 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    EPSRC


  • 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.

Professional service

  • Administration at Warwick:
    • Course (co-)director (Computer Science), 2021—23.
    • Deputy director for undergraduate studies, 2018—21.
    • ICPC (programming competitions) lead, 2018—22.

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