Lecturer receives Theoretical Computer Science journal award
Dr Savas Konur, from the School of Electrical Engineering and Computer Science, has jointly received the top 5 Downloaded Papers Award (1st) from the Journal of Theoretical Computer Science (TCS). The paper, authored by Savas Konur, Sven Schewe and Michael Fisher, was entitled "Combined model checking for temporal, probabilistic, and real-time logics". TCS is one of the most prestigious and top international journals in theoretical computer science.
The paper provides a modular mechanism for developing verification algorithms and tools from existing verification methods without developing new model checking algorithms for multi-dimensional problems. This novel approach will help researches develop advanced verification tools, which can be used in the analysis of complex problems, combining real-time, safety-critical, concurrent, multi-agent and stochastic aspects.
The award confirms the recognition of the contribution and novelty of the work to the research communities.