Skip to main content
Lab directory

Prof. Dmitry Chistikov — Research Profile

The University of Warwick · Department of Computer Science

Official page

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Oct 31, 2026

Graduate application deadlines

Department of Computer Science

Considering this lab for grad school?

Save it to compare side by side with other labs, and keep your contact prep in one place.

What to prepare before emailing a PI

About

Prof. Dmitry Chistikov at The University of Warwick Department of Computer Science lists Automata, logical theories of arithmetic, discrete mathematics, verification as their registered research area.

Research keywords

Automatalogical theories of arithmeticdiscrete mathematicsverification

Other labs in this department

See all labs in this department