02.05.2018 – 14.05.2018 Dmitry Shkatov

Wednesday, 02 May 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