Skip to main content
Till KTH:s startsida Till KTH:s startsida

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 responsible | 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

Seminars on Theoretical Computer Science, Programming Languages and Formal Methods (DD2552), examiner, course responsible | Course web