Andreas Lindner

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.