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
Distributed Algorithms (FDD3008), teacher