Skip to content

Dr Bowen Li

Bowen Li is working on the EPSRC funded project UNCOVER (UNderstanding COmplex system eVolution through structurEd behaviours). An overall goal of UNCOVER is to develop a rigorous methodology supported by a toolkit based on structured occurrence nets, in order to provide an effective approach to acquiring and exploiting behavioural knowledge of a complex evolving system.

Bowen’s PhD topic was Specification and verification of complex behaviours of evolving concurrent systems under the supervision of Maciej Koutny.