Anoud Alshnakat

I am a PhD student in the Theoretical Computer Science (TCS) department at KTH Royal Institute of Technology.

This PhD position is funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP) with the major focus on Autonomous Systems, and minor focus on Security for Autonomous Systems. I am also a member of the WASP PhD student council.

My current research area is focusing mainly on systems security and formal methods. I am working under the supervision of Mads Dam.

Project Description:  5G, AI and virtualisation are all modern applications face a great deal of security and safety issues,  due to shared resources. Mistrusted tenants affect the security of the shared resource. Thus, it might lead to greater consequences especially when the system is expected to take real hard-time decisions. The PhD project aims to exploit further studies using formal methods towards a reliable and secure on-demand resource availability.