Andreas Lindner
RESEARCHER
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/lindnera
Details
Works for
Address
LINDSTEDTSVÄGEN 5, PLAN 5
E-mail
Researcher
Researcher ID
About me
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.
Courses
Distributed Algorithms (FDD3008), teacher | Course web
Logic for Computer Scientists (DD1351), assistant | Course web