17.12.2018 – 26.12.2018 Dmitry Shkatov

Monday, 17 December 2018

Dmitry Shkatov

School of Computer Science, University of the Witwatersrand, South Africa

Research interests:

Modal logic and its applications in computer science
Algebraic logic