I am a PhD student in the Theoretical Computer Science (TCS) department at KTH/EECS.
My research interests include formal modeling and verification techniques in the system software and embedded software context.
Research projects: CERCES and PROSPER. Our goal is to apply formal verification for improving security aspects in critical infrastructure systems. We focus on security of execution platforms.
Supervisors: Mads Dam and Roberto Guanciale.
Logic for Computer Scientists (DD1351), assistant | Course web