糖心TV

Associate Professor

(DIMAP)

Office hours in term 2: Tuesdays 10:30–11:30 and Thursdays 9:30–10:30 in CS2.20.

Research

Research interests:
theoretical computer science and verification.

Publications: here.

Expository paper: (2024).

Best paper award at ICALP’24: .

Postdoc:

PhD students:

• Neha Rino (co-supervised with Carsten Maple)
• Andrei Codreanu (co-supervised with Ranko Lazić)

Past students and postdocs:

• (postdoc 2024—25, now in industry)
• Henry Sinclair-Banks (PhD 2024; co-supervised with , now at Warsaw)
• (PhD 2020; co-supervised with and Graham Cormode, now at Liverpool)

Some recent invited talks:
, , , , , , , , , , , , , INFINITY’16.

Funding:
My research has been supported in part by
  

Teaching

• CS259 Formal Languages (term 2 in 2024/25 and 2025/26)

• CS130 Mathematics for Computer Scientists I (term 1 in 2020/21, 2021/22, and 2022/23).

• CS260 Algorithms (term 1 in 2017/18, 2018/19, and 2019/20).

• Demystifying problem solving (mentoring talk; slides ).

  Logic Mentoring Workshop 2022 (), 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 ).

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

• Linear Arithmetic: Geometry, Algorithms, and Logic ().

  30th European Summer School in Logic, Language and Information (), Sofia, Bulgaria, 6–10 August 2018. Co-taught with .

• Model counting for logical theories ().

  28th European Summer School in Logic, Language and Information (), Bolzano, Italy, 15–19 August 2016. Co-taught with and sponsored by .

Professional service

• Secretary of the (EATCS). 2022—present.

• Steering committee member: (ICALP), 2024—present.

• Guest editor of (special issue for ). Joint with and .

• Program committee member: , , , , , , , , , , , , , , , ,

• Event organisation:
  • . A seminar. 18–23 October 2026. Co-organised with , , , .
  • 24th International Workshop on Verification of Infinite-State Systems (). Co-located with . 06 July 2026, Royal Holloway, University of London (Egham, UK). Co-organised with and .
  • , a workshop on automata theory. University of Liverpool. 23–24 March 2026. Co-organised with , , and .
  • Automata in the Wild '25, a workshop on automata theory. University of 糖心TV. 1–2 April 2025. Co-organised with and Sarah Selkirk.
  • . An workshop. Tallinn, Estonia, 6 July 2024. Co-organised with and .
  • Computation in Mathematics and Mathematics in Computation. A MIR@W (Mathematical Interdisciplinary Research at 糖心TV) Day. 11 March 2024. Co-organised with Mark Pollicott and .
  • . An workshop. Paris, France, 4 July 2022. Co-organised with , , .
  • British Society for the History of Mathematics . Hosted at 糖心TV; moved online. 11 December 2021. Co-organised with Steve Russ and .
  • (WILD 2021), a workshop (collaborative incubator) on automata and cyber-physical systems. Online. 21–23 April 2021. Co-organised with .
  • , an international research camp on logic, automata, and games. Firbush, Scotland, 12–19 July 2019. Co-organised with and .
  • 19th International Workshop on Verification of Infinite-State Systems ().

    Co-located with , the 32nd ACM/IEEE Symposium on Logic in Computer Science. 19 June 2017, Reykjavik, Iceland. Co-organised with .

• Administration at 糖心TV:
  • Exam secretary, 2024—present.
  • 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 糖心TV
COVENTRY
CV4 7AL
UNITED KINGDOM

Tel: +44 24 765 73792