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
Algoritmer, datastrukturer och komplexitet (DD2350), assistent | Kurswebb
Distribuerade algoritmer (FDD3008), lärare | Kurswebb
Examensarbete i datalogi och datateknik, avancerad nivå (DA231X), examinator | Kurswebb
Examensarbete i datalogi och datateknik, avancerad nivå (DA239X), examinator | Kurswebb
Examensarbete inom datateknik, avancerad nivå (DA250X), examinator | 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