Dr. Karl Palmskog

Instructor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Karl Palmskog. Improve your application with a focused, well-structured draft.

Biography

Karl Palmskog is a lecturer at KTH Royal Institute of Technology, specializing in computer science education and research. His research interests encompass application enhancement with a focus on interactive theorem provers such as Rocq Prover and HOL4. He is particularly involved in the construction of functionally correct and secure software systems. Palmskog has a broad interest in programming languages, software engineering, and formal methods. He teaches several courses including DD2443: Parallel Distributed Computing, and DD1366: Programming Paradigms, incorporating aspects such as concurrency and distributed systems into his syllabus. Additionally, he supervises and examines master's projects and engages in seminars related to theoretical computer science and programming languages. Palmskog's professional contributions are documented in several publication profiles.

Research Interests

Application Enhancement Interactive Theorem Provers Functionally Correct Secure Software Systems Programming Languages Software Engineering Formal Methods

Courses

DD2443: Parallel Distributed Computing DD1366: Programming Paradigms FDD3008: Distributed Algorithms DD2552: Programming Languages Formal Methods

Requirements for KTH Royal Institute of Technology

Master Program
Requirements
GPA Requirement
Required:3
IELTS
Listening
Required:5.5
Reading
Required:5.5
Writing
Required:5.5
Speaking
Required:5.5
Overall
Required:6.5
TOEFL
Listening
Required:0
Reading
Required:0
Writing
Required:20
Speaking
Required:0
Total
Required:90
PTE
Listening
Required:0
Reading
Required:0
Writing
Required:62
Speaking
Required:0
Overall
Required:62
Prerequisites
Bachelor's degree (180 ECTS) in Science, Engineering, or a related field. Specific course requirements vary by department (e.g., Mathematics, Programming, or Subject-specific credits).
Application Checklist
  • Certificates and diplomas of completed degree
  • Transcript of records
  • Proof of English proficiency
  • Copy of passport or ID
  • Curriculum Vitae (CV)
  • Letter of Motivation
  • Letters of Recommendation (if required by program)
  • Summary of Project (if required)
Specialization Notes

Master's programs are organized under Schools; departments listed are units within these schools (e.g., EECS, ABE, CBH, ITM, SCI).