Karl Palmskog
Universitetsadjunkt
Forskare
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
Seminariekurs i teoretisk datalogi, programspråk och formella metoder (DD2552), examinator, kursansvarig | Kurswebb
Spelteori (SF2972), assistent | Kurswebb