Karl Palmskog
Lecturer
Details
Researcher
About me
I am a researcher primarily working on topics related to program verification and proof engineering.
Courses
Algorithms, Data Structures and Complexity (DD2350), assistant
Degree Project in Computer Science and Engineering, Second Cycle (DA231X), examiner
Degree Project in Computer Science and Engineering, Second Cycle (DA239X), examiner
Degree Project in Computer Science and Engineering, Second Cycle (DA250X), examiner
Distributed Algorithms (FDD3008), teacher
Game Theory (SF2972), assistant
Parallel and Distributed Computing (DD2443), examiner, course responsible, teacher, assistant
Programme Integrating Course in Computer Science Engineering (DD1390), assistant
Programming Paradigms (DD1366), examiner, teacher, assistant
Seminars on Theoretical Computer Science, Programming Languages and Formal Methods (DD2552), examiner, course responsible