Kangfeng Ye

Search results

• A Journal-first presentation, invited in MODELS2022

  Kangfeng Ye (Speaker)

  27 Oct 2022

  Activity: Talk or presentation › Invited talk

• A conference presentation for our paper - Formally Verified Animation for RoboChart Using Interaction Trees

  Kangfeng Ye (Speaker)

  26 Oct 2022

  Activity: Talk or presentation › Talk

• Tutorial on Isabelle/UTP

  Kangfeng Ye (Speaker) & Zhiming Liu (Chair)

  14 May 2019 → 15 May 2019

  Activity: Talk or presentation › Workshop

• Engineering Robotic Swarms

  Baxter, J. (Speaker), Ye, K. (Speaker), Redpath, R. A. (Other) & Timmis, J. I. (Speaker)

  22 Mar 2019

  Activity: Other › Public engagement and outreach (general)