ÌÇÐÄTV

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 , has commented:

This prestigious fellowship will further strengthen the internationally leading research in theoretical computer science at ÌÇÐÄTV, which recently has been also greatly boosted by the new permanent appointments of and .