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), lärare, kursansvarig | 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