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

• (Feb 2024 - Now) Research Associate on CHEDDAR
• (June 2023 - Jan 2024) 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