Karl Palmskog
Lecturer
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/palmskog
Details
Works for
Unit address
Lindstedtsvägen 5 Plan 5
E-mail
Researcher
Researcher ID
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