Accessibility statement

All Staff

Dr Kangfeng Ye
Research Associate

Interests

  • Probabilistic programming and verification: PRISM and theorem proving
  • Graphical notations (state machines,...), its semantics, and automated verification
  • Formal Specifications: Z, CSP, Circus, B methods.
  • Formal Verification: model checking and theorem proving (Isabelle)
  • Formal Semantics: Unifying Theories of Programming
  • Robotics and Autonomous Systems
  • Cyber-Physical Systems
  • Model-Based Software Engineering
  • Embedded Systems

Qualifications

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

Career

Photo

Contact details

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

Phone: +44 (0)1904 325500

Office: CSE/012

E-mail: