Dr Ranko Lazic has been awarded a Leverhulme Research Fellowship for the 2017/18 academic year, to work on the Petri nets reachability conjecture.

Petri nets, also known as vector addition systems, are one of the most prominent models of concurrency, and their study is a vibrant research area. They have been used to discover bugs and eliminate vulnerabilities in network protocols, concurrent software, business processes, hardware circuits, and control systems.

Professor Artur Czumaj, head of the Foundations of Computer Science research group, has commented:

This prestigious fellowship will further strengthen the internationally leading research in theoretical computer science at Warwick, which recently has been also greatly boosted by the new permanent appointments of Dr Sayan Bhattacharya and Dr Dmitry Chistikov.