Summary

Sean worked with an industry partner (JAXA) and myself over the summer of 2025 on an EPSRC Vacation Scholarship.

The topic was on formal verification of the ORAN protocols for NTN contexts.