Skip to main content
Back to KTH start page

Karl Palmskog

Profile picture of Karl Palmskog

Lecturer

Details

Unit address
Lindstedtsvägen 5 Plan 5

Researcher


About me

I am a researcher primarily working on topics related to program verification and proof engineering.


Courses

Distributed Algorithms (FDD3008), teacher