Jonas Krook

PhD student, Electrical Engineering

Jonas Krook is an industrial PhD student in the Automation research group. His research is focused on applications of formal methods in the context of autonomous vehicles. The aim with the research is to synthesize provable correct decision-making logics. The research is supported by Wallenberg Autonomous Systems and Software Program (WASP).

Published: Mon 27 Nov 2017.