Conducting research funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP), with a major focus on Autonomous Systems and a minor focus on Security for Autonomous Systems. Involved in projects related to 5G, AI, and virtualization, focusing on security and reliability issues.
Education
PhD student in Theoretical Computer Science at KTH Royal Institute of Technology, supervised by Mads Dam
Background
A PhD student in the Theoretical Computer Science (TCS) department at KTH Royal Institute of Technology. Main research area focuses on systems security and formal methods.