Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Home
Publications
News
Talks
Posts
Projects
Teaching
Showcases
Contact
Light
Dark
Automatic
EPSRC
CHEDDAR (Feb 2024 - )
The Communications Hub for Empowering Distributed Cloud Computing Applications and Research (CHEDDAR)
CyPhyAssure (June 2021 - August 2021)
CyPhyAssure
is a EPSRC funded project. It is also a
RoboStar
project.
RoboTest (April 2021 - Present)
RoboTest
is a EPSRC funded project. It is also a
RoboStar
project.
RoboCalc (April 2018 - March 2021)
RoboCalc
is a EPSRC funded project. It is also a
RoboStar
project.
VeTSS - Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP (Oct 2017 - March 2018)
A UK National Cyber Security Centre (NCSC) funded project and we have developed a theoretical reasoning framework for discrete-time blocks of control law diagrams.
Cite
×
