FoCS Archive News - Before Sept 20
Dmitry Chistikov joins the Department as a new Assistant Professor
The Department is welcoming our new Assistant Professor Dmitry Chistikov, who will be associated with the and the .
After obtaining his Candidate of Sciences (equivalent to PhD) degree at the of , Dmitry was a postdoctoral researcher at the , as wel as at the .
The general area of Dmitry's research is theoretical computer science. In particular, he is 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).
For more information about Dmitry's research, please see his .