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
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:
YR-OWLS’20,
Highlights’19,
ACTS’17,
INFINITY’16.
Funding:
My research is supported in part by
Program committee membership:
LICS’21,
STACS’21,
FoSSaCS’21,
ECAI’20,
SYNASC’15 (theory track)
Teaching
- CS130 Mathematics for Computer Scientists I (term 1 in 2020/21).
- CS260 Algorithms (term 1 in 2017/18, 2018/19, and 2019/20).
- 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.
- 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