Karl Palmskog
Lecturer
Details
Researcher
About me
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.
Courses
Degree Project in Computer Science and Engineering, Second Cycle (DA239X), examiner
Degree Project in Computer Science and Engineering, Second Cycle (DA250X), examiner
Degree Project in Computer Science and Engineering, Second Cycle (DA231X), examiner
Distributed Algorithms (FDD3008), teacher
Parallel and Distributed Computing (DD2443), teacher, course responsible, examiner
Seminars on Theoretical Computer Science, Programming Languages and Formal Methods (DD2552), course responsible, examiner