Dr Kun Wei

Qualifications:

BSc. Computer Science, MSc in Internet Computing, PhD. Computer Science

Position:

Lecturer in Computer Science

Department:

FET - Computer Science and Creative Technologies

Telephone:

+4411732 87685

Email:

Kun.Wei@uwe.ac.uk

About me

I am a lecturer in Computer Science and Creative Technologies. Before I joined UWE in 2015, I worked at the Department of Computer Science, University of York, UK as a research associate. My research was largely on the analysis of the timing properties of complex dependable systems such as social-technical systems and cyber-physical systems using the timebands model, and the formal development of safety-critical object-oriented applications. I obtained my PhD at University of Surrey, UK and worked on the formal verification of security properties of security protocols.

Area of expertise

Analysis, modelling and verification of complex IT systems, Concurrent programming, Object-oriented software development, Semantics of languages, Security, Web development, Theorem-proving and model-checking applications and tool development

Publications

Publications loading...