Kun Wei

Dr Kun Wei is a Lecturer in Computer Science at the University of the West of England (UWE), joining in 2015. Previously, he worked as a Research Associate at the University of York, focusing on timing properties of complex systems and formal development of safety-critical applications. His research spans formal verification, security protocols, concurrent programming, and model-checking tools.

• BSc in Computer Science
• MSc in Internet Computing
• PhD in Computer Science from the University of Surrey

His expertise includes the analysis of timing properties in social-technical systems and cyber-physical systems using the timebands model, as well as formal verification of security protocols. He specializes in object-oriented software development, concurrent programming, and semantics of programming languages, with applications in safety-critical and dependable systems. His work integrates theorem-proving and model-checking tools for system development and verification.