Karl Palmskog
UNIVERSITETSADJUNKT
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/palmskog
Forskare
Forskar-ID
Om mig
I am a researcher primarily working on topics related to program verification and proof engineering.
Kurser
Distribuerade algoritmer (FDD3008), kursansvarig, lärare | Kurswebb
Parallella och distribuerade beräkningar (DD2443), examinator, kursansvarig, lärare, assistent | Kurswebb
Programmeringsparadigm (DD1366), examinator, lärare, assistent | Kurswebb
Programsammanhållande kurs i datateknik (DD1390), assistent | Kurswebb
Seminariekurs i teoretisk datalogi, programspråk och formella metoder (DD2552), examinator, kursansvarig | Kurswebb