conf.researchr.org / Kangfeng Ye
Registered user since Fri 21 Oct 2022
Name:Kangfeng Ye
Country:United Kingdom
Affiliation:University of York, UK
Personal website: https://www-users.cs.york.ac.uk/ky582/
GitHub: https://github.com/RandallYe
Research interests:formal methods, formal semantics, formal verification, model-based engineering, robotics, theorem proving
Contributions