News

Can Baskent received the BEST PAPER AWARD for “Playing Games with Diagrams: Truth Diagrams and Game Semantics” at DIAGRAMS 2024 — a corresponding SETA talk took place on 23rd September (see his talk in the SETA meeting on 23. 9. 2024)

Florian Kammueller presented “Formalizing Federated Learning and Differential Privacy for GIS systems in IIIf” at SecAssure/ESORICS 2024 in Bydgoszcz, a joint SETA paper with co-authors Luca Piras, Bob Fields and Raja Nagarajan

Can Baskent presented “A Logic of Isolation” at WOLLiC 24 in June (see his talk in the SETA meeting on 20.5.)

Giacomo Nalli was awarded a Cyber security academic startup accelerator programme grant 2023-2024.

Balbir Barn speaks at the London Digital Twin Annual Workshop on “The Sociotechnical Digital Twin and Public Policy”, 16.5.2024

Two years running, our group member Kelly Androutsopoulous, succeeded together with Prof Gao and Dr Smith to win funding for 5 PhD MSc scholarships for women from South East Asia to study STEM subjects at MDX.

Raja Nagarajan: “Formal Verification of Machine-Learned Quantum Protocols and Algorithms (ForMLQ)”, (Co-Investigator: David Windridge), Exploration Award, funded by Robust and Reliable Quantum Computing (RoaRQ), an EPSRC project held at the University of Oxford, 2023-2024.

Florian Kammueller organised Summer School 2023 with support from the Faculty Strategic Funding.