Dmitry Chistikov

Personal homepage

Photo of Dmitry Chistikov

E-mail: dch at mpi-sws dot org.

About

I am a postdoctoral researcher at the Max Planck Institute for Software Systems in Germany, working with Rupak Majumdar. I obtained my Candidate of Sciences (equivalent to PhD) degree at the Department of Computational Mathematics and Cybernetics of Moscow State University, where I worked with Andrey Voronenko.

UPDATE (April 2016): I have moved to the University of Oxford, UK. I am hosted by Joël Ouaknine.

UPDATE (February 2017): I will begin as an assistant professor at the University of Warwick, UK, in April 2017. I am looking for highly motivated students and postdocs!

The general area of my research is theoretical computer science. In particular, I am interested in theoretical foundations of verification: its algorithmic aspects (decision and counting problems) as well as combinatorial aspects (extremal properties and characteristics of mathematical models of computation).

Publications

2017

2016

2015

2014

2013

2012

2011

2010

2009

As a general rule, versions of papers kept on this website are preprints, so you will not find publishers' formatting and fixes here.

Teaching

Model counting for logical theories. ESSLLI'16, Bolzano, Italy, 15–19 August 2016. Co-taught with Rayna Dimitrova and sponsored by EACSL. (course page)

Events

INFINITY'17, ESSLLI'16 (summer school), SYNASC'15