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
Parallel and Distributed Computing (DD2443), course responsible, teacher, assistant | Course web
Programming Paradigms (DD1360), examiner, teacher, assistant | Course web
Programming Paradigms (DD1366), teacher | Course web
Seminars on Theoretical Computer Science, Programming Languages and Formal Methods (DD2552), examiner, course responsible | Course web
Software Engineering in Project Form (DD1369), assistant | Course web