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: PRISM and theorem proving
- Robotics and Autonomous Systems
- Cyber-Physical Systems
- Model-Based Software Engineering
- Embedded Systems
Qualifications
- PhD, Computer Science, University of York (2016)
Career
- (June 2023 - Now) Research Associate on H2020 SESAME
- (April 2021 - June 2023) Research Associate on EPSRC RoboTest
- (April 2018 - March 2021) Research Associate on EPSRC RoboCalc
- (Oct 2017 - March 2018) Research Associate on EPSRC/VeTSS Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP
- (Nov 2016 - Oct 2017) Research Associate on H2020 INTO-CPS
Contact details
Department of Computer Science
University of York
Deramore Lane
York
YO10 5GH
Phone: +44 (0)1904 325500
Office: CSE/012E-mail: Send e-mail using web form
Department of Computer Science
Deramore Lane,
University of York,
Heslington,
York,
YO10 5GH,
UK
Tel:
01904 325501
Legal statements | Privacy | Cookies | Accessibility
© University of York | Modify | Direct Edit