معرفی
Dmitry Chistikov is an Associate Professor in the Department of Computer Science at the University of Warwick, affiliated with the Theory and Foundations Theme and the Centre for Discrete Mathematics and its Applications (DIMAP). His research focuses on theoretical computer science, formal verification, automata theory, and discrete mathematics. He has received a Best Paper Award at ICALP ’24 for work on integer linear-exponential programming.
He teaches courses such as CS259 Formal Languages and CS130 Mathematics for Computer Scientists I. He has organized workshops including Automata in the Wild '25 and served on program committees for major conferences like ICALP, LICS, and ECAI. He currently holds roles as Secretary of the European Association for Theoretical Computer Science (EATCS) and has led Warwick’s ICPC programming competitions.
Chistikov co-supervises PhD students Neha Rino and Andrei Codreanu. His former students include Henry Sinclair-Banks (now at Warsaw University) and David Purser (now at University of Liverpool). He has delivered invited talks at venues including FSTTCS ’24, MPI-SWS, and Cambridge University’s Logic and Semantics Seminar.
