Klaus-Dieter Schewe
Professor in ZJUI
Mainly focus on "computation on structures" comprising behavioural theory of algorithmic systems, logics for reasoning about such systems, and their complexity theory. Recent achievements are the behavioural theories of parallel, concurrent and reflective algorithms, the logics of the associated non-deterministic, concurrent and reflective abstract state machines, and the capture of PTIME by the logic of insignificant choice polynomial time, which is grounded in non-deterministic ASMs.