Skip to main content
Back to KTH start page

Henrik Akira Karlsson

Profile picture of Henrik Akira Karlsson

Doctoral student

Details

Address
LINDSTEDTSVÄGEN 5, PLAN 5
Room

Researcher


About me

Henrik Karlsson is a doctoral student in Computer Science at the Division of Theoretical Computer Science (TCS) at the School of Electrical Engineering and Computer Science (EECS) at KTH. Henrik is affiliated with theCenter for Cyber Defense and Information Security (CDIS) and Secure and Trustworthy Execution Platform (STEP) research group at KTH. He has an MSc in Computer Science and a BSc in Computer Science and Engineering, both from KTH. Henrik's research interests are computer security and formal methods. Henrik's supervisors are Roberto Guanciale(main) and  Mads Dam.

Currently, Henrik is working on the design, implementation and verification of separation kernels, in particular S3K, a separation kernel for RISC-V.

GPG key (fingerprint: F44D 6859 1A22 5604 4CE5 CACE BAD1 E9D0 AA03 67E6)


Courses

Computer Security (DD2395), assistant | Course web

Computer Security (DD238U), assistant | Course web

Parallel and Distributed Computing (DD2443), assistant | Course web