The course consists to read and present a number of scientific articles chosen from the best conferences in the field. Each doctoral student has to present at least three articles.
FDD3011 Seminars in Static Analysis 7.5 credits
This course will be discontinued.
Decision to discontinue this course:
No information inserted
Information per course offering
Course offerings are missing for current or upcoming semesters.
Course syllabus as PDF
Please note: all information from the Course syllabus is available on this page in an accessible format.
Course syllabus FDD3011 (Spring 2026–)Content and learning outcomes
Course contents
Intended learning outcomes
After the course, the doctoral student should have a deep understanding of the latest progress in the field of static Analysis, with a focus on issues, the methods and usages. The exact contents can vary from a round to the next.
Literature and preparations
Specific prerequisites
Literature
Examination and completion
Grading scale
Examination
- EXA1 - Examination, 7.5 credits, grading scale: P, F
Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.
The examiner may apply another examination format when re-examining individual students.
If the course is discontinued, students may request to be examined during the following two academic years.
Examiner
Ethical approach
- All members of a group are responsible for the group's work.
- In any assessment, every student shall honestly disclose any help received and sources used.
- In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.