News

An exciting invitation from MODELS2022 to present our SoSym journal paper there
Very delighted to be invited to this great conference as a journal first (JF1) paper.
Last updated on Oct 26, 2022
The submission (Formally Verified Animation for RoboChart using Interaction Trees) to ICFEM2022 is accepted
Jun 27, 2022
Call for paper: Special Issue of Software Engineering for Robotics in Robotics and Autonomous Systems Journal, Elsevier
Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal, Elsevier.
Dec 9, 2021
SoSym Paper is online
The paper is available online.
Last updated on Oct 24, 2022
Project Project
RoboSoft
RoboSoft is a two-day event to bring together researchers representing groups working on themes relevant for Software Engineering for Robotics, developers working on the next-generation of robotic systems in various areas of application, and regulation authorities interested in safety of robotic systems.
Nov 12, 2019
Second visit of Prof. Zhiming Liu's team at York
very glad to meet Prof. Zhiming Liu’s team again at York
Last updated on Nov 25, 2019
Visit SWU in Chongqing with Prof. Jim Woodcock
‘NSFC-RS’ Joint Project Workshop on Modelling, Verification, and Refinement of Evolving Cyber-Physical Systems
Last updated on Nov 24, 2019
Visit of Prof. Zhiming Liu's team at York
Very very glad to meet Prof. Zhiming Liu’s team from Southwest University (SWU)
Last updated on Nov 24, 2019
RoboTest RoboCalc Advisory Board meeting
Just joined the RoboCalc project and this is the opportunity to know most people in the projects: RoboCalc and RoboTest, like Rob Hierons and Brijesh Dongol.
Last updated on Apr 14, 2018
Project
Viva Preparation
Defending my doctoral thesis
Last updated on Nov 12, 2019 PhD