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

Degree Project in Computer Science and Engineering, Second Cycle (DA239X), examiner

Degree Project in Computer Science and Engineering, Second Cycle (DA250X), examiner

Degree Project in Computer Science and Engineering, Second Cycle (DA231X), examiner

Distributed Algorithms (FDD3008), teacher

Parallel and Distributed Computing (DD2443), teacher, course responsible, examiner

Programming Paradigms (DD1366), teacher, examiner

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