HAKarlsson

About

Henrik Karlsson is a PhD student at KTH Royal Institute of Technology in Stockholm, Sweden. His research focuses on formal methods and systems design, particularly for avionics partitioning kernels. He is part of the STEP (Secure and Trustworthy Execution Platform) research group within the division of theoretical computer science at KTH.