MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
MODELS 2022 (series) / 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

Show activities from other conferences

MODELS 2022-profile
View general profile