Dr Kun Wei

Profile Photo
  • 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 Publications loading...

Back to top