Karl Palmskog
Universitetsadjunkt
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/palmskog
Detaljer
Arbetar vid
Enhetens adress
Lindstedtsvägen 5 Plan 5
E-post
Forskare
Forskar-ID
Om mig
I am a computer science teacher and researcher primarily working on topics related to program verification and proof engineering.
Kurser
Distribuerade algoritmer (FDD3008), lärare
Examensarbete i datalogi och datateknik, avancerad nivå (DA239X), examinator
Examensarbete i datalogi och datateknik, avancerad nivå (DA231X), examinator
Examensarbete inom datateknik, avancerad nivå (DA250X), examinator
Parallella och distribuerade beräkningar (DD2443), lärare, kursansvarig, examinator
Seminariekurs i teoretisk datalogi, programspråk och formella metoder (DD2552), kursansvarig, examinator