Skip to main content
Back to KTH start page

Karl Palmskog

Profile picture of Karl Palmskog

LECTURER

Details

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 | Course web

Parallel and Distributed Computing (DD2443), examiner, course responsible, teacher, assistant | Course web

Programme Integrating Course in Computer Science Engineering (DD1390), assistant | Course web

Programming Paradigms (DD1366), examiner, teacher, assistant | Course web