Anoud Alshnakat
Scholar

Anoud Alshnakat

Google Scholar ID: NKhchLIAAAAJ
PhD Student, KTH Royal Institute of Technology Stockholm Sweden
Formal MethodsSemanticsType SystemVerification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
29
 
H-index
3
 
i10-index
1
 
Publications
6
 
Co-authors
0
 
Publications
1 items
Securing P4 Programs by Information Flow Control
2025
Cited
0
Resume
Academic Achievements
  • No specific information provided
Research Experience
  • 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.
Miscellany
  • Member of the WASP PhD student council