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

Research interests:
theoretical computer science and verification.

Publications: here.

PhD students:
I am delighted to work with

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

Invited talks:
Highlights’19, ACTS’17, INFINITY’16.

Funding:
My research is supported in part by

Program committee membership:
STACS’21, 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

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

• 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