Accessibility statement

Research Fellows and Research Associates

Dr Kangfeng Ye
Research Staff

Interests

  • Formal Specification: Z, CSP, Circus, B methods.
  • Formal Verification: model checking and theorem proving (Isabelle)
  • Formal Semantics: Unifying Theories of Programming
  • Modelling and Verification of Probabilistic Systems
  • Robotics and Autonomous Systems
  • Cyber-Physical Systems
  • Model-Based Software Engineering
  • Embedded Systems

Qualifications

  • PhD, Computer Science, University of York (2016)

Career

Contact details

Department of Computer Science
University of York
Deramore Lane
York
YO10 5GH

Phone: +44 (0)1904 325500

Office: CSE/011-3

E-mail:
Personal Homepage: https://www-users.cs.york.ac.uk/ky582/