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 | Course web
Degree Project in Computer Science and Engineering, Second Cycle (DA231X), examiner | Course web
Degree Project in Computer Science and Engineering, Second Cycle (DA239X), examiner | Course web
Degree Project in Computer Science and Engineering, Second Cycle (DA250X), examiner | Course web
Distributed Algorithms (FDD3008), teacher | Course web
Parallel and Distributed Computing (DD2443), examiner, course responsible, teacher, assistant | Course web
Programme Integrating Course in Computer Science Engineering (DD1390), assistant | Course web
Programming Paradigms (DD1366), examiner, teacher, assistant | Course web