معرفی
Dr Kangfeng Ye is a Researcher at the Department of Computer Science, University of York. His work focuses on probabilistic programming, formal verification, and model-based software engineering for robotics and cyber-physical systems.
- PhD in Computer Science (2016), University of York
- Research roles in projects like CHEDDAR, SESAME, RoboTest, RoboCalc, and INTO-CPS
His research bridges formal methods with practical applications in autonomous systems, security protocols, and robotics. He employs tools like PRISM, Isabelle, and RoboChart to ensure software reliability.
Recent publications highlight trends in probabilistic modeling, formal verification of security protocols, and robotics safety assurance. His work intersects with 6G networks, agriculture robots, and controller synthesis from diagrams.
۰مقاله منتشرشده
