Karl Palmskog
Universitetsadjunkt
Detaljer
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
Distribuerade algoritmer (FDD3008), lärare
Examensarbete i datalogi och datateknik, avancerad nivå (DA231X), examinator
Examensarbete i datalogi och datateknik, avancerad nivå (DA239X), examinator
Examensarbete inom datateknik, avancerad nivå (DA250X), examinator
Parallella och distribuerade beräkningar (DD2443), assistent, kursansvarig, lärare, examinator
Programmeringsparadigm (DD1360), examinator
Programmeringsparadigm (DD1366), assistent, lärare, examinator
Programsammanhållande kurs i datateknik (DD1390), assistent
Seminariekurs i teoretisk datalogi, programspråk och formella metoder (DD2552), kursansvarig, examinator
Spelteori (SF2972), assistent