News

Can Baskent presents “Insensitive Games: Game Semantics for Modal Insensitivity” at WOLLiC 25 (see his February talk in the SETA seminar)

Florian Kammueller presented “Formalisation and Analysis of Decoy QKD in the Isabelle Infrastructure and Insider framework using Refinement and Attack Trees” at IEEE SMC 2025 in Vienna, October 25 (see his SETA talk in November 25).

Joint SETA publication at HCII2025! “A Privacy-Preserving Framework Enhancing University Student Engagement using Machine Learning and Gamification”, by Kelly Androtsoupolous, Can Baskent, Florian Kammueller, Giacomo Nalli Luca Piras, and Halil Yetgin

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.