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

• (April 2021 - Now) 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