Dmitry Shkatov I am an Associate Professor in the School of Computer Science and Applied Mathematics at the University of the Witwatersrand, Johannesburg. My academic interests include the following: Modal logic. Theory of computation. Blockchain.