Karl Palmskog
Universitetsadjunkt
Detaljer
Forskare
Om mig
I am a computer science teacher and researcher. My research interests include application and enhancement of interactive theorem provers such as the Rocq Prover and HOL4 for construction of functionally correct and secure software systems. I also take a broad interest in programming languages, software engineering, and formal methods.
I teach concurrency and distributed systems in the course DD2443 Parallel and Distributed Computing. In the course DD1366 Programming Paradigms, I teach the theory of formal languages and its application to syntax analysis and parsers. I also supervise and examine master's projects.
See my personal website or publication profiles for links to papers.
Kurser
Distribuerade algoritmer (FDD3008), lärare
Examensarbete i datalogi och datateknik, avancerad nivå (DA239X), examinator
Examensarbete i datalogi och datateknik, avancerad nivå (DA231X), examinator
Examensarbete inom datateknik, avancerad nivå (DA250X), examinator
Parallella och distribuerade beräkningar (DD2443), lärare, kursansvarig, examinator
Programmeringsparadigm (DD1366), lärare, examinator
Seminariekurs i teoretisk datalogi, programspråk och formella metoder (DD2552), kursansvarig, examinator