Karl Palmskog
LECTURER
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/palmskog/
Details
Works for
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
Distributed Algorithms (FDD3008), course responsible, 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
Seminars on Theoretical Computer Science, Programming Languages and Formal Methods (DD2552), examiner, course responsible | Course web