Five members of the York CHEDDAR Project team visited the James Watt School of Engineering in Glasgow on June 5-6, 2024, to discuss their project’s progress and exchange new ideas. Dr. Yadav moderated a meeting focused on task 3.2, which deals with formal verification.


Dr. Kangfeng Ye captivated the audience with an animated sound demonstration of security protocols, designed for user-guided verification.


Mohit Bidikar and Dr. Sohaib Rana shared their insights on ORAN architecture, specifically addressing tasks 1.1 and 1.2 under pillar 1. Ahsan Khan presented his advancements on the Network Digital Twin task (1.4).


The Glasgow Cheddar team enriched the visit by providing lab tours and showcasing a series of exciting demonstrations. These engaging and informative lab demos offered practical insights into their cutting-edge work, making the visit both educational and stimulating for all participants.